“2015级--讨论记录 (第一学期)”的版本间的差异
来自问题求解
（→2015年11月03日） |
（→2015年11月03日） |
||
| 第54行： | 第54行： | ||
<ul> | <ul> | ||
<li>[http://cslab.nju.edu.cn/problem_solving/index.php/%E6%96%87%E4%BB%B6:Union_by_Alex_Liu.pdf c++ union简介]</li> | <li>[http://cslab.nju.edu.cn/problem_solving/index.php/%E6%96%87%E4%BB%B6:Union_by_Alex_Liu.pdf c++ union简介]</li> | ||
| + | </ul> | ||
| + | </li> | ||
| + | </ol> | ||
| + | =2015年11月03日= | ||
| + | <ol> | ||
| + | <li> | ||
| + | 专题讨论（2） | ||
| + | <ul> | ||
| + | <li>[http://cslab.nju.edu.cn/problem_solving/index.php/%E6%96%87%E4%BB%B6:Union_by_Alex_Liu.pdf 逻辑范式]</li> | ||
| + | <ul> | ||
| + | <li>合取范式与析取范式</li> | ||
| + | <li>SAT 问题简介</li> | ||
| + | </ul> | ||
</ul> | </ul> | ||
</li> | </li> | ||
</ol> | </ol> | ||
2015年11月10日 (二) 19:08的版本
2015年10月13日
-
鸽笼原理讨论。
- 介绍鸽笼原理本质
- 鸽笼原理的应用举例
- Chomp game 分析。
2015年10月20日
- 皮亚诺公理系统。
- 第二次作业分析。
2015年10月24日
-
集合
- 幂集
- 笛卡尔积
-
程序设计（1）
- 什么是程序设计
- 程序的基本元素
2015年11月03日
- 习题反馈
- 专题讨论（1）
2015年11月03日
-
专题讨论（2）
- 逻辑范式
- 合取范式与析取范式
- SAT 问题简介
