“2013级--讨论记录 (第二学期)”的版本间的差异

来自问题求解
跳转至： 导航、 搜索
（→‎2014年3月13日）
Wu（讨论 | 贡献）
第51行： 第51行：
 
<li>
 
<li>
 
使用循环不变式证明算法正确与使用数学归纳法证明定理正确的异同
 
使用循环不变式证明算法正确与使用数学归纳法证明定理正确的异同
 +
</li>
 +
</ul>
 +
</li>
 +
</ol>
 +
 +
 +
=2014年3月20日=
 +
[[媒体文件:讨论与反馈3-20.pdf‎|[课件下载]]]
 +
<ol>
 +
<li>
 +
<ul>
 +
<li>
 +
DH第六章作业讨论
 +
</li>
 +
<li>
 +
TC第二章问题讨论
 
</li>
 
</li>
 
</ul>
 
</ul>
 
</li>
 
</li>
 
</ol>
 
</ol>

2014年3月24日 (一) 06:51的版本

2014年2月20日

  1. 讨论上学期期末笔试题
    • Square Field 问题与动态规划
    • 形式化方法解题
    • BNF范式
    • 证明幂集的大小
    • 排练的判断
    • 不等势的证明

2014年2月27日

  1. 问题讨论
    • 贪心解题为什么会失败？从搜索的角度解释。
    • 动态规划为什么可以求解？
    • 动态规划的本质也是穷尽搜索，为什么效率可以保证？

2014年3月6日

[课件下载]

    • DH第四章作业讨论

2014年3月13日

[课件下载]

    • DH第五章作业讨论
    • 算法正确性证明的基本步骤
    • 使用循环不变式证明算法正确与使用数学归纳法证明定理正确的异同


2014年3月20日

[课件下载]

    • DH第六章作业讨论
    • TC第二章问题讨论
取自“http://cslabcms.nju.edu.cn/problem_solving/index.php?title=2013级--讨论记录_(第二学期)&oldid=769”