“2013级--讨论记录 (第二学期)”的版本间的差异
来自问题求解
（→2014年3月6日） |
|||
| 第33行： | 第33行： | ||
<li> | <li> | ||
DH第四章作业讨论 | DH第四章作业讨论 | ||
| + | </li> | ||
| + | </ul> | ||
| + | </li> | ||
| + | </ol> | ||
| + | |||
| + | =2014年3月13日= | ||
| + | [[媒体文件:问题与讨论3-13.pdf|[课件下载]]] | ||
| + | <ol> | ||
| + | <li> | ||
| + | <ul> | ||
| + | <li> | ||
| + | DH第五章作业讨论 | ||
| + | </li> | ||
| + | <li> | ||
| + | 算法正确性证明的基本步骤 | ||
| + | </li> | ||
| + | <li> | ||
| + | 使用循环不变式证明算法正确与使用数学归纳法证明定理正确的异同 | ||
</li> | </li> | ||
</ul> | </ul> | ||
</li> | </li> | ||
</ol> | </ol> | ||
2014年3月14日 (五) 15:52的版本
2014年2月20日
-
讨论上学期期末笔试题
- Square Field 问题与动态规划
- 形式化方法解题
- BNF范式
- 证明幂集的大小
- 排练的判断
- 不等势的证明
2014年2月27日
-
问题讨论
- 贪心解题为什么会失败？从搜索的角度解释。
- 动态规划为什么可以求解？
- 动态规划的本质也是穷尽搜索，为什么效率可以保证？
2014年3月6日
-
- DH第四章作业讨论
2014年3月13日
-
- DH第五章作业讨论
- 算法正确性证明的基本步骤
- 使用循环不变式证明算法正确与使用数学归纳法证明定理正确的异同
