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

来自问题求解
跳转至： 导航、 搜索
（以“2014年2月20日 <ol> <li> 讨论上学期期末笔试题 <ul> <li>Square Field 问题与动态规划</li> <li>形式化方法解题</li> ...”为内容创建页面）
 
Wu（讨论 | 贡献）
第1行： 第1行：
−
2014年2月20日
+
=2014年2月20日=
 
<ol>
 
<ol>
 
   <li>
 
   <li>

2014年2月28日 (五) 09:50的版本

2014年2月20日

  1. 讨论上学期期末笔试题
    • Square Field 问题与动态规划
    • 形式化方法解题
    • BNF范式
    • 证明幂集的大小
    • 排练的判断
    • 不等势的证明
取自“http://cslabcms.nju.edu.cn/problem_solving/index.php?title=2013级--讨论记录_(第二学期)&oldid=745”