“2012级--讨论记录 (第一学期)”的版本间的差异
来自问题求解
(→2班) |
(→2班) |
||
第70行: | 第70行: | ||
</ul> | </ul> | ||
</li> | </li> | ||
− | <li>求解Knights and | + | <li>求解Knights and Knaves:命题的形式化(特别是等价运算符的使用)。</li> |
<li> | <li> | ||
合取/析取范式的化简。 | 合取/析取范式的化简。 | ||
第79行: | 第79行: | ||
</li> | </li> | ||
<li>量词与集合:命题形式化的全面性与准确性。</li> | <li>量词与集合:命题形式化的全面性与准确性。</li> | ||
− | <li>proof in | + | <li>proof in cases方法的正确性:命题的形式化。</li> |
<li> | <li> | ||
扑克牌魔术的原理。 | 扑克牌魔术的原理。 |
2012年10月19日 (五) 08:42的版本
2012年9月27日
1班
2班
-
利用the list求解UD第1章问题1(找水平、垂直对称单词)。
- 审题:分别水平、垂直翻转后不变,还是同时水平、垂直翻转后不变。
- plan:包括数据、算法两部分;未必每个字母都要对称(也可以翻转成为另一个字母);字典中的单词要先转为大写。
-
将上述plan转换成计算机可理解的形式(输入、算法、输出)。
- 输入:字典;字母及其是否对称。
- 算法:描述的颗粒度要适中。
- 输出:题目只要找一个单词,不是全部。
-
要把大象装冰箱,总共分几步(小品视频)。
- 问题的输入和算法的输入要匹配。
- 算法要能处理异常输入。
- 算法-->C++程序(计算机仍然不能直接理解)-->机器语言。
- 熟悉VC++编程环境。
2012年10月11日
2012年10月18日
1班
2班
-
理解Cantor定理。
- 幂集的含义。
- 证明的思路。
-
Implication的陈述方法。
- 中英文术语的对应。
- 直译与意译。
-
Exercise 2.8。
- 真值表的应用。
- 形式化问题时的命题选择。
- 求解Knights and Knaves:命题的形式化(特别是等价运算符的使用)。
-
合取/析取范式的化简。
- 可合取分量的选择:只有一个变元前的正反符号不同。
- 编程:循环的使用(特别是循环的条件)。
- 量词与集合:命题形式化的全面性与准确性。
- proof in cases方法的正确性:命题的形式化。
-
扑克牌魔术的原理。
- 找到n。
- 形式化待证的问题。
- 表达式的范式表示:数学归纳法证明中要确保能覆盖n+1时的所有可能性。