“2014级--小班讨论 (第一学期)”的版本间的差异

来自问题求解
跳转至： 导航、 搜索
 
（未显示同一用户的10个中间版本）
第13行： 第13行：
 
   <li>真值表的应用。</li>
 
   <li>真值表的应用。</li>
 
   <li>equivalent statement forms及其应用。</li>
 
   <li>equivalent statement forms及其应用。</li>
−
   <li>contrapositive和converse。</li>
+
   <li>set notation、量词及其否定。</li>
−
   <li>set notation。</li>
+
</ol>
−
   <li>量词及其否定。</li>
+
 
 +
=2014年10月17日=
 +
[[媒体文件:小班讨论-14级-第1学期-第3次.pdf‎|[课件下载]]]
 +
<ol>
 +
  <li>证明的方法、适用题型、逻辑正确性。</li>
 +
  <li>数学归纳法和鸽巢原理的应用。</li>
 +
  <li>控制结构、流程图与子程序。</li>
 +
</ol>
 +
 
 +
=2014年10月24日=
 +
 
 +
=2014年11月7日=
 +
[[媒体文件:小班讨论-14级-第1学期-第5次.pdf‎|[课件下载]]]
 +
<ol>
 +
  <li>程序设计语言的语法、BNF、接受器。</li>
 +
  <li>程序设计语言的语义。</li>
 +
  <li>编译型语言、解释型语言。</li>
 +
  <li>不同范型的语言。</li>
 +
</ol>
 +
 
 +
=2014年11月14日=
 +
[[媒体文件:小班讨论-14级-第1学期-第6次.pdf‎|[课件下载]]]
 +
<ol>
 +
  <li>集合的描述。</li>
 +
  <li>属于和包含的区别。</li>
 +
  <li>文氏图</li>
 +
  <li>index set。</li>
 +
  <li>有关集合的证明方法。</li>
 +
  <li>幂集、有序对和笛卡尔乘积。</li>
 +
</ol>
 +
 
 +
=2014年11月21日=
 +
[[媒体文件:小班讨论-14级-第1学期-第7次.pdf‎|[课件下载]]]
 +
<ol>
 +
  <li>关系的基本概念。</li>
 +
  <li>等价关系与划分。</li>
 +
  <li>数集的界、极值和确界。</li>
 +
  <li>实数的完备性。</li>
 +
  <li>well-ordering principle of N。</li>
 +
</ol>
 +
 
 +
=2014年11月28日=
 +
[[媒体文件:小班讨论-14级-第1学期-第8次.pdf‎|[课件下载]]]
 +
<ol>
 +
  <li>函数的基本概念。</li>
 +
  <li>函数基本概念的求解与证明。</li>
 +
  <li>函数的复合。</li>
 +
  <li>反函数。</li>
 +
  <li>函数的像。</li>
 +
</ol>
 +
 
 +
=2014年12月5日=
 +
[[媒体文件:小班讨论-14级-第1学期-第9次.pdf‎|[课件下载]]]
 +
<ol>
 +
  <li>搜索和遍历的应用。</li>
 +
   <li>算法方法的应用。</li>
 +
</ol>
 +
 
 +
=2014年12月12日=
 +
[[媒体文件:小班讨论-14级-第1学期-第10次.pdf‎|[课件下载]]]
 +
<ol>
 +
  <li>数独项目答辩。</li>
 +
</ol>
 +
 
 +
=2014年12月18日=
 +
[[媒体文件:小班讨论-14级-第1学期-第11次.pdf‎|[课件下载]]]
 +
<ol>
 +
  <li>程序设计中的错误。</li>
 +
  <li>算法的正确性。</li>
 +
  <li>算法正确性的证明。</li>
 +
</ol>
 +
 
 +
=2014年12月26日=
 +
[[媒体文件:小班讨论-14级-第1学期-第12次.pdf‎|[课件下载]]]
 +
<ol>
 +
  <li>等势和有限集合。</li>
 +
  <li>无限集合。</li>
 +
  <li>可数集合。</li>
 +
  <li>不可数集合。</li>
 +
   <li>metric。</li>
 
</ol>
 
</ol>

2014年12月26日 (五) 12:03的最新版本

2014年9月26日

[课件下载]

  1. 求解问题的The List及其应用。
  2. 用计算机求解问题。
  3. 算法与编程的关系。

2014年10月10日

[课件下载]

  1. statement和statement form。
  2. 真值表的应用。
  3. equivalent statement forms及其应用。
  4. set notation、量词及其否定。

2014年10月17日

[课件下载]

  1. 证明的方法、适用题型、逻辑正确性。
  2. 数学归纳法和鸽巢原理的应用。
  3. 控制结构、流程图与子程序。

2014年10月24日

2014年11月7日

[课件下载]

  1. 程序设计语言的语法、BNF、接受器。
  2. 程序设计语言的语义。
  3. 编译型语言、解释型语言。
  4. 不同范型的语言。

2014年11月14日

[课件下载]

  1. 集合的描述。
  2. 属于和包含的区别。
  3. 文氏图
  4. index set。
  5. 有关集合的证明方法。
  6. 幂集、有序对和笛卡尔乘积。

2014年11月21日

[课件下载]

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

2014年11月28日

[课件下载]

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

2014年12月5日

[课件下载]

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

2014年12月12日

[课件下载]

  1. 数独项目答辩。

2014年12月18日

[课件下载]

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

2014年12月26日

[课件下载]

  1. 等势和有限集合。
  2. 无限集合。
  3. 可数集合。
  4. 不可数集合。
  5. metric。
取自“http://cslabcms.nju.edu.cn/problem_solving/index.php?title=2014级--小班讨论_(第一学期)&oldid=1104”