“2012级--讨论记录 (第一学期)”的版本间的差异

来自问题求解
跳转至： 导航、 搜索
（→‎2班）
（→‎2班）
第49行： 第49行：
 
[[媒体文件:讨论记录-第一学期-2班-第3次.pdf|[课件下载]]]
 
[[媒体文件:讨论记录-第一学期-2班-第3次.pdf|[课件下载]]]
 
<ol>
 
<ol>
−
   <li></li>
+
   <li>
 +
    理解Cantor定理。
 +
    <ul>
 +
      <li>幂集的含义。</li>
 +
      <li>证明的思路。</li>
 +
    </ul>
 +
  </li>
 +
  <li>
 +
    Implication的陈述方法。
 +
    <ul>
 +
      <li>中英文术语的对应。</li>
 +
      <li>直译与意译。</li>
 +
    </ul>
 +
  </li>
 +
  <li>Exercise 2.8：真值表的应用。</li>
 +
  <li>求解Knights and Knaves：命题的形式化（特别是等价运算符的使用）。</li>
 +
  <li>
 +
    合取/析取范式的化简。
 +
    <ul>
 +
      <li>可合取分量的选择：只有一个变元前的正反符号不同。</li>
 +
      <li>编程：循环的使用（特别是循环的条件）。</li>
 +
    </ul>
 +
  </li>
 +
  <li>量词与集合：命题形式化的全面性与准确性。</li>
 +
  <li>proof in cases方法的正确性：命题的形式化。</li>
 +
  <li>
 +
    扑克牌魔术的原理。
 +
    <ul>
 +
      <li>找到n。</li>
 +
      <li>形式化待证的问题。</li>
 +
    </ul>
 +
  </li>
 +
  <li>表达式的范式表示：数学归纳法证明中要确保能覆盖n+1时的所有可能性。</li>
 
</ol>
 
</ol>

2012年10月19日 (五) 08:38的版本

2012年9月27日

1班

2班

[课件下载]

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

2012年10月11日

[课件下载]

2012年10月18日

1班

2班

[课件下载]

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