“2016级--小班讨论 (第一学期)”的版本间的差异
来自问题求解
第95行: | 第95行: | ||
<li>算法的正确性。</li> | <li>算法的正确性。</li> | ||
<li>算法正确性的证明。</li> | <li>算法正确性的证明。</li> | ||
+ | </ol> | ||
+ | |||
+ | =2016年12月15日= | ||
+ | [[媒体文件:小班讨论-16级-第1学期-第13次.pdf|[课件下载]]] | ||
+ | <ol> | ||
+ | <li>等势和有限集合。</li> | ||
+ | <li>无限集合。</li> | ||
+ | <li>可数集合。</li> | ||
+ | <li>不可数集合。</li> | ||
+ | <li>metric。</li> | ||
</ol> | </ol> |
2016年12月15日 (四) 12:10的最新版本
目录
2016年9月22日
- 求解问题的The List。
- The List的应用。
- 用计算机求解问题。
- Carrying out the plan。
2016年9月29日
- logically speaking。
- truth table。
- equivalent statement forms。
- set notation and quantifiers。
2016年10月8日
- 证明的方法。
- 数学归纳法的应用。
- 鸽巢原理的应用。
2016年10月13日
- 控制结构与流程图。
- 子程序。
- 递归。
2016年10月27日
- 数据结构的应用。
- 程序语言的语法。
- 程序语言的语义。
2016年11月3日
- 编译型语言 vs. 解释型语言。
- 编译器。
- 不同范型的语言。
2016年11月10日
- 集合的描述。
- 包含于和属于。
- 文氏图。
- index set。
- 有关集合的证明方法。
- 幂集。
- 笛卡尔积。
- Tips on writing mathematics。
2016年11月17日
- 关系的基本概念。
- 等价关系与划分。
- 数集的界、极值和确界。
- 实数的完备性。
- well-ordering principle of N。
2016年11月24日
- 函数的基本概念。
- 函数基本概念的求解与证明。
- 函数的复合。
- 反函数。
- 函数的像。
2016年12月1日
- 搜索和遍历的应用。
- 算法方法的应用。
2016年12月8日
- 程序设计中的错误。
- 算法的正确性。
- 算法正确性的证明。
2016年12月15日
- 等势和有限集合。
- 无限集合。
- 可数集合。
- 不可数集合。
- metric。