2014级--小班讨论 (第一学期)
来自问题求解
目录
2014年9月26日
- 求解问题的The List及其应用。
- 用计算机求解问题。
- 算法与编程的关系。
2014年10月10日
- statement和statement form。
- 真值表的应用。
- equivalent statement forms及其应用。
- set notation、量词及其否定。
2014年10月17日
- 证明的方法、适用题型、逻辑正确性。
- 数学归纳法和鸽巢原理的应用。
- 控制结构、流程图与子程序。
2014年10月24日
2014年11月7日
- 程序设计语言的语法、BNF、接受器。
- 程序设计语言的语义。
- 编译型语言、解释型语言。
- 不同范型的语言。
2014年11月14日
- 集合的描述。
- 属于和包含的区别。
- 文氏图
- index set。
- 有关集合的证明方法。
- 幂集、有序对和笛卡尔乘积。
2014年11月21日
- 关系的基本概念。
- 等价关系与划分。
- 数集的界、极值和确界。
- 实数的完备性。
- well-ordering principle of N。
2014年11月28日
- 函数的基本概念。
- 函数基本概念的求解与证明。
- 函数的复合。
- 反函数。
- 函数的像。
2014年12月5日
- 搜索和遍历的应用。
- 算法方法的应用。
2014年12月12日
- 数独项目答辩。