2015级--讨论记录 (第一学期)

2015年10月13日

1. 鸽笼原理讨论。
   • 介绍鸽笼原理本质
   • 鸽笼原理的应用举例
2. Chomp game 分析。

2015年10月20日

1. 皮亚诺公理系统。
2. 第二次作业分析。

2015年10月24日

1. 集合
   • 幂集
   • 笛卡尔积
2. 程序设计（1）
   • 什么是程序设计
   • 程序的基本元素

2015年11月03日

1. 习题反馈
   • 习题1-4
   • 习题1-5
2. 专题讨论（1）
   • c++ union简介

2015年11月10日

1. 专题讨论（2）
   • 逻辑范式
   • 合取范式与析取范式
   • SAT 问题简介

2015年11月17日

1. 习题讲解1-8

2015年11月23日

1. 习题讲解1-9

2015年12月1日

1. 课堂编程比赛（1）

2015年12月8日

1. 课堂编程比赛（2）
2. 习题讲解1-10

2015年12月15日

1. 课堂编程比赛（3）
2. 习题讲解1-11

2015年12月22日

1. 课堂编程比赛（4）

2015年12月29日

1. 课堂编程比赛（5）
2. 习题讲解1-12

2016年1月9日

1. 习题讲解1-13