“2013级--讨论记录 (第一学期)”的版本间的差异
来自问题求解
（→2013年11月8日） |
（→2013年10月18日） |
||
| 第40行： | 第40行： | ||
<ol> | <ol> | ||
<li>使用形式化方法帮助推理</li> | <li>使用形式化方法帮助推理</li> | ||
| − | <li> | + | <li>逆否命题</li> |
<li>使用全称量词和存在量词</li> | <li>使用全称量词和存在量词</li> | ||
2013年11月15日 (五) 14:50的版本
目录
2013年9月29日
-
根据9月27日（星期五）上所作的测试的结果进行反馈。
- 讨论同学们的程序中的问题
- 提供程序设计的建议
-
第一个编程练习。
- 熟悉VC++编程环境。
- 让有编程经验的同学帮助一位没有编程经验的同学完成第一个程序Hello world.
2013年10月11日
-
使用无刻度天平找出12个硬币中的唯一一个伪币的问题。
- 使用4次称量的方法
- 使用3次称量的方法
- 决策树的概念
- 移位加密
- 使用示意图辅助证明的优劣
2013年10月18日
- 使用形式化方法帮助推理
- 逆否命题
- 使用全称量词和存在量词
2013年10月25日
- C++ 编程练习
2013年11月1日
校运动会
2013年11月8日
- 27.3 课程Project
- DH习题
- Successor Set的定义
- 证明Successor Set的集合仍然是Successor Set
- 证明W_A = W_B
- 分支循环语句之间的相互转换
- 用条件语句和递归实现while-do循环
2013年11月15日
（1）输出N!个由1~N组成的排列的方法； （2）判断一个排列是否可以使用一个栈输出； （3）简介二分搜索树的构建； （4）简介BNF(Backus-Naur Form)
