“2014级--小班讨论 (第一学期)”的版本间的差异
来自问题求解
第33行: | 第33行: | ||
<li>编译型语言、解释型语言。</li> | <li>编译型语言、解释型语言。</li> | ||
<li>不同范型的语言。</li> | <li>不同范型的语言。</li> | ||
+ | </ol> | ||
+ | |||
+ | =2014年11月14日= | ||
+ | [[媒体文件:小班讨论-14级-第1学期-第5次.pdf|[课件下载]]] | ||
+ | <ol> | ||
+ | <li>集合的描述。</li> | ||
+ | <li>属于和包含的区别。</li> | ||
+ | <li>文氏图</li> | ||
+ | <li>index set。</li> | ||
+ | <li>有关集合的证明方法。</li> | ||
+ | <li>幂集、有序对和笛卡尔乘积。</li> | ||
</ol> | </ol> |
2014年11月14日 (五) 14:42的版本
2014年9月26日
- 求解问题的The List及其应用。
- 用计算机求解问题。
- 算法与编程的关系。
2014年10月10日
- statement和statement form。
- 真值表的应用。
- equivalent statement forms及其应用。
- set notation、量词及其否定。
2014年10月17日
- 证明的方法、适用题型、逻辑正确性。
- 数学归纳法和鸽巢原理的应用。
- 控制结构、流程图与子程序。
2014年10月24日
2014年11月7日
- 程序设计语言的语法、BNF、接受器。
- 程序设计语言的语义。
- 编译型语言、解释型语言。
- 不同范型的语言。
2014年11月14日
- 集合的描述。
- 属于和包含的区别。
- 文氏图
- index set。
- 有关集合的证明方法。
- 幂集、有序对和笛卡尔乘积。