“2014级--小班讨论 (第一学期)”的版本间的差异
来自问题求解
（→2014年10月10日） |
|||
| 第14行： | 第14行： | ||
<li>equivalent statement forms及其应用。</li> | <li>equivalent statement forms及其应用。</li> | ||
<li>set notation、量词及其否定。</li> | <li>set notation、量词及其否定。</li> | ||
| + | </ol> | ||
| + | |||
| + | =2014年10月17日= | ||
| + | [[媒体文件:小班讨论-14级-第1学期-第3次.pdf|[课件下载]]] | ||
| + | <ol> | ||
| + | <li>证明的方法、适用题型、逻辑正确性。</li> | ||
| + | <li>数学归纳法和鸽巢原理的应用。</li> | ||
| + | <li>控制结构、流程图与子程序。</li> | ||
</ol> | </ol> | ||
2014年10月17日 (五) 13:12的版本
2014年9月26日
- 求解问题的The List及其应用。
- 用计算机求解问题。
- 算法与编程的关系。
2014年10月10日
- statement和statement form。
- 真值表的应用。
- equivalent statement forms及其应用。
- set notation、量词及其否定。
2014年10月17日
- 证明的方法、适用题型、逻辑正确性。
- 数学归纳法和鸽巢原理的应用。
- 控制结构、流程图与子程序。
