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

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. 鸽巢原理的应用。