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