“2013级--讨论记录 (第一学期)”的版本间的差异
来自问题求解
| 第31行： | 第31行： | ||
<li> | <li> | ||
| − | 移位加密 | + | 移位加密</li> |
| − | <li>使用示意图辅助证明的优劣 | + | <li>使用示意图辅助证明的优劣</li> |
</ol> | </ol> | ||
| 第38行： | 第38行： | ||
[[媒体文件:讨论记录10-18.pdf|[课件下载]]] | [[媒体文件:讨论记录10-18.pdf|[课件下载]]] | ||
| − | + | <ol> | |
| + | <li>使用形式化方法帮助推理</li> | ||
| + | <li>你否命题</li> | ||
| + | <li>使用全称量词和存在量词</li> | ||
| + | |||
| + | </ol> | ||
=2013年10月25日= | =2013年10月25日= | ||
| + | <ol> | ||
| + | <li>C++ 编程联系</li> | ||
| + | </ol> | ||
=2013年11月1日= | =2013年11月1日= | ||
2013年11月15日 (五) 14:45的版本
目录
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日
作业反馈。
2013年11月15日
（1）输出N!个由1~N组成的排列的方法； （2）判断一个排列是否可以使用一个栈输出； （3）简介二分搜索树的构建； （4）简介BNF(Backus-Naur Form)
