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

2012年9月27日

2班

[课件下载]

1. 利用the list求解UD第1章问题1（找水平、垂直对称单词）。
   • 审题：分别水平、垂直翻转后不变，还是同时水平、垂直翻转后不变。
   • plan：包括数据、算法两部分；未必每个字母都要对称（也可以翻转成为另一个字母）；字典中的单词要先转为大写。
2. 将上述plan转换成计算机可理解的形式（输入、算法、输出）。
   • 输入：字典；字母及其是否对称。
   • 算法：描述的颗粒度要适中。
   • 输出：题目只要找一个单词，不是全部。
3. 要把大象装冰箱，总共分几步（小品视频）。
   • 问题的输入和算法的输入要匹配。
   • 算法要能处理异常输入。
4. 算法-->C++程序（计算机仍然不能直接理解）-->机器语言。
5. 熟悉VC++编程环境。

2012年10月11日

[课件下载]

2012年10月18日

2班

[课件下载]

1. 理解Cantor定理。
   • 幂集的含义。
   • 证明的思路。
2. Implication的陈述方法。
   • 中英文术语的对应。
   • 直译与意译。
3. Exercise 2.8。
   • 真值表的应用。
   • 形式化问题时的命题选择。
4. 求解Knights and Knaves：问题的命题形式化（特别是等价运算符的使用）。
5. 合取/析取范式的化简。
   • 可合取分量的选择：只有一个变元前的正反符号不同。
   • 编程：循环的使用（特别是循环的条件）。
6. 量词与集合：命题形式化的全面性与准确性。
7. proof in cases方法的正确性：命题的形式化。
8. 扑克牌魔术的原理。
   • 找到n。
   • 形式化待证的问题。
9. 表达式的范式表示：数学归纳法证明中要确保能覆盖n+1时的所有可能性。