2013年12月11日 (三) 09:38的版本

2013年9月29日

[课件下载]

1. 根据9月27日（星期五）上所作的测试的结果进行反馈。
   • 讨论同学们的程序中的问题
   • 提供程序设计的建议
2. 第一个编程练习。
   • 熟悉VC++编程环境。
   • 让有编程经验的同学帮助一位没有编程经验的同学完成第一个程序Hello world.

2013年10月11日

[课件下载]

1. 使用无刻度天平找出12个硬币中的唯一一个伪币的问题。
   • 使用4次称量的方法
   • 使用3次称量的方法
   • 决策树的概念
2. 移位加密
3. 使用示意图辅助证明的优劣

2013年10月18日

[课件下载]

1. 使用形式化方法帮助推理
2. 逆否命题
3. 使用全称量词和存在量词

2013年10月25日

1. C++ 编程练习

2013年11月1日

校运动会

2013年11月8日

[课件下载]

1. 27.3 课程Project
• Successor Set的定义
• 证明Successor Set的交集仍然是Successor Set
• 证明W_A = W_B
2. DH习题
• 分支循环语句之间的相互转换
• 用条件语句和递归实现while-do循环

2013年11月15日

[课件下载]

1. 2.10~2.11 输出N!个由1~N组成的排列的方法；
2. 2.12~2.15 判断一个排列是否可以使用一个栈输出；
3. 2.16 简介二分搜索树的构建；
4. 简介BNF(Backus-Naur Form)

2013年11月22日

1. 程序正确性证明(赵建华教授)

2013年11月29日

[课件下载]

1. SAT问题和3SAT问题
2. 写一段代码输出一个含有m个子句的3SAT问题的实例；每个子句中变量从n个变量中随机取得。
3. 扩充上面的代码尝试判断输出的实例是否是可满足的，如果是给出真值指派。
• 如果采用穷举的方法，如何穷举所有可能的指派？
• 尝试穷举之外的方法

2013年12月6日

[课件下载]

1. 集合的定义和Paradox
2. 文氏图
3. Family of index sets
4. 两两互不相交集合
5. 幂集的概念与应用
6. 笛卡尔集的概念

2013年12月13日

2013年12月20日

2013年12月27日