2016年12月8日 (四) 12:22的版本

2016年9月22日

[课件下载]

1. 求解问题的The List。
2. The List的应用。
3. 用计算机求解问题。
4. Carrying out the plan。

2016年9月29日

[课件下载]

1. logically speaking。
2. truth table。
3. equivalent statement forms。
4. set notation and quantifiers。

2016年10月8日

[课件下载]

1. 证明的方法。
2. 数学归纳法的应用。
3. 鸽巢原理的应用。

2016年10月13日

[课件下载]

1. 控制结构与流程图。
2. 子程序。
3. 递归。

2016年10月27日

[课件下载]

1. 数据结构的应用。
2. 程序语言的语法。
3. 程序语言的语义。

2016年11月3日

[课件下载]

1. 编译型语言 vs. 解释型语言。
2. 编译器。
3. 不同范型的语言。

2016年11月10日

[课件下载]

1. 集合的描述。
2. 包含于和属于。
3. 文氏图。
4. index set。
5. 有关集合的证明方法。
6. 幂集。
7. 笛卡尔积。
8. Tips on writing mathematics。

2016年11月17日

[课件下载]

1. 关系的基本概念。
2. 等价关系与划分。
3. 数集的界、极值和确界。
4. 实数的完备性。
5. well-ordering principle of N。

2016年11月24日

[课件下载]

1. 函数的基本概念。
2. 函数基本概念的求解与证明。
3. 函数的复合。
4. 反函数。
5. 函数的像。

2016年12月1日

[课件下载]

1. 搜索和遍历的应用。
2. 算法方法的应用。

2016年12月8日

[课件下载]

1. 程序设计中的错误。
2. 算法的正确性。
3. 算法正确性的证明。