2014年12月26日 (五) 12:03的最新版本

2014年9月26日

[课件下载]

1. 求解问题的The List及其应用。
2. 用计算机求解问题。
3. 算法与编程的关系。

2014年10月10日

[课件下载]

1. statement和statement form。
2. 真值表的应用。
3. equivalent statement forms及其应用。
4. set notation、量词及其否定。

2014年10月17日

[课件下载]

1. 证明的方法、适用题型、逻辑正确性。
2. 数学归纳法和鸽巢原理的应用。
3. 控制结构、流程图与子程序。

2014年10月24日

2014年11月7日

[课件下载]

1. 程序设计语言的语法、BNF、接受器。
2. 程序设计语言的语义。
3. 编译型语言、解释型语言。
4. 不同范型的语言。

2014年11月14日

[课件下载]

1. 集合的描述。
2. 属于和包含的区别。
3. 文氏图
4. index set。
5. 有关集合的证明方法。
6. 幂集、有序对和笛卡尔乘积。

2014年11月21日

[课件下载]

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

2014年11月28日

[课件下载]

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

2014年12月5日

[课件下载]

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

2014年12月12日

[课件下载]

1. 数独项目答辩。

2014年12月18日

[课件下载]

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

2014年12月26日

[课件下载]

1. 等势和有限集合。
2. 无限集合。
3. 可数集合。
4. 不可数集合。
5. metric。