2014级--小班讨论 (第一学期)

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. 控制结构、流程图与子程序。