查看“2014级--小班讨论 (第一学期)”的源代码

=2014年9月26日=
[[媒体文件:小班讨论-14级-第1学期-第1次.pdf‎|[课件下载]]]
<ol>
  <li>求解问题的The List及其应用。</li>
  <li>用计算机求解问题。</li>
  <li>算法与编程的关系。</li>
</ol>

=2014年10月10日=
[[媒体文件:小班讨论-14级-第1学期-第2次.pdf‎|[课件下载]]]
<ol>
  <li>statement和statement form。</li>
  <li>真值表的应用。</li>
  <li>equivalent statement forms及其应用。</li>
  <li>set notation、量词及其否定。</li>
</ol>

=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>