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

2016年10月13日

[课件下载]

  1. 控制结构与流程图。
  2. 子程序。
  3. 递归。

2016年10月27日

[课件下载]

  1. 数据结构的应用。
  2. 程序语言的语法。
  3. 程序语言的语义。

2016年11月3日

[课件下载]

  1. 编译型语言 vs. 解释型语言。
  2. 编译器。
  3. 不同范型的语言。

2016年11月10日

[课件下载]

  1. 集合的描述。
  2. 包含于和属于。
  3. 文氏图。
  4. index set。
  5. 有关集合的证明方法。
  6. 幂集。
  7. 笛卡尔积。
  8. Tips on writing mathematics。

2016年11月17日

[课件下载]

  1. 关系的基本概念。
  2. 等价关系与划分。
  3. 数集的界、极值和确界。
  4. 实数的完备性。
  5. well-ordering principle of N。

2016年11月24日

[课件下载]

  1. 函数的基本概念。
  2. 函数基本概念的求解与证明。
  3. 函数的复合。
  4. 反函数。
  5. 函数的像。

2016年12月1日

[课件下载]

  1. 搜索和遍历的应用。
  2. 算法方法的应用。

2016年12月8日

[课件下载]

  1. 程序设计中的错误。
  2. 算法的正确性。
  3. 算法正确性的证明。

2016年12月15日

[课件下载]

  1. 等势和有限集合。
  2. 无限集合。
  3. 可数集合。
  4. 不可数集合。
  5. metric。