查看“2013级--讨论记录 (第二学期)”的源代码

=2014年2月20日=
<ol>
  <li>
    讨论上学期期末笔试题
    <ul>
      <li>Square Field 问题与动态规划</li>
      <li>形式化方法解题</li>
      <li>BNF范式</li>
      <li>证明幂集的大小</li>
      <li>排练的判断</li>
      <li>不等势的证明</li>
    </ul>
  </li>
</ol>

=2014年2月27日=
<ol>
  <li>
    问题讨论
    <ul>
      <li>贪心解题为什么会失败？从搜索的角度解释。</li>
      <li>动态规划为什么可以求解？</li>
      <li>动态规划的本质也是穷尽搜索，为什么效率可以保证？</li>
    </ul>
  </li>
</ol>

=2014年3月6日=
[[媒体文件:问题与讨论3-6.pdf|[课件下载]]]
<ol>
<li>
<ul>
<li>
DH第四章作业讨论
</li>
</ul>
</li>
</ol>