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

来自问题求解
跳转至： 导航、 搜索
（→‎2013年11月8日）
Wu（讨论 | 贡献）
 
（未显示同一用户的8个中间版本）
第57行： 第57行：
 
<li>27.3 课程Project</li>
 
<li>27.3 课程Project</li>
 
<ul><li>Successor Set的定义</li></ul>
 
<ul><li>Successor Set的定义</li></ul>
−
<ul><li>证明Successor Set的集合仍然是Successor Set</li></ul>
+
<ul><li>证明Successor Set的交集仍然是Successor Set</li></ul>
 
<ul><li>证明W_A = W_B</li></ul>
 
<ul><li>证明W_A = W_B</li></ul>
 
<li>DH习题</li>
 
<li>DH习题</li>
第75行： 第75行：
  
 
=2013年11月22日=
 
=2013年11月22日=
 +
<ol>
 +
<li>程序正确性证明(赵建华教授)</li>
 +
</ol>
  
 
=2013年11月29日=
 
=2013年11月29日=
 +
[[媒体文件:问题讨论11-29.pdf|[课件下载]]]
 +
<ol>
 +
<li>SAT问题和3SAT问题</li>
 +
<li>写一段代码输出一个含有m个子句的3SAT问题的实例；每个子句中变量从n个变量中随机取得。</li>
 +
<li>扩充上面的代码尝试判断输出的实例是否是可满足的，如果是给出真值指派。</li>
 +
<ul><li>如果采用穷举的方法，如何穷举所有可能的指派？</li></ul>
 +
<ul><li>尝试穷举之外的方法</li></ul>
 +
</ol>
  
 
=2013年12月6日=
 
=2013年12月6日=
 +
[[媒体文件:问题讨论12-6.pdf|[课件下载]]]
 +
<ol>
 +
<li>集合的定义和Paradox</li>
 +
<li>文氏图</li>
 +
<li>Family of index sets</li>
 +
<li>两两互不相交集合</li>
 +
<li>幂集的概念与应用</li>
 +
<li>笛卡尔集的概念</li>
 +
</ol>
  
 
=2013年12月13日=
 
=2013年12月13日=
 +
 +
[[媒体文件:问题讨论12-13.pdf|[课件下载]]]
 +
<ol>
 +
<li>关系的性质</li>
 +
<li>等价关系</li>
 +
<li>偏序和全序</li>
 +
<li>自然数、整数、有理数和实数</li>
 +
<li>实数的界和确界</li>
 +
<li>习题反馈</li>
 +
</ol>
  
 
=2013年12月20日=
 
=2013年12月20日=
 +
[[媒体文件:问题讨论12-20.pdf|[课件下载]]]
 +
<ol>
 +
<li>函数的定义Problem 13.3</li>
 +
<li>特征函数Problem13.5</li>
 +
<li>一对一函数和满射函数的概念</li>
 +
<li>双射函数的概念</li>
 +
<li>本学期内容简单回顾</li>
 +
</ol>
  
 
=2013年12月27日=
 
=2013年12月27日=
 +
[[媒体文件:问题讨论12-27.pdf|[课件下载]]]
 +
<ol>
 +
<li>可数集的概念</li>
 +
<li>实数集合不可数的证明</li>
 +
<li>康托定理的证明</li>
 +
<li>Problem 22.3,22.1,22.1讨论</li>
 +
<li>Problem 21.19讨论</li>
 +
</ol>

2013年12月31日 (二) 11:02的最新版本

2013年9月29日

[课件下载]

  1. 根据9月27日（星期五）上所作的测试的结果进行反馈。
    • 讨论同学们的程序中的问题
    • 提供程序设计的建议
  2. 第一个编程练习。
    • 熟悉VC++编程环境。
    • 让有编程经验的同学帮助一位没有编程经验的同学完成第一个程序Hello world.

2013年10月11日

[课件下载]

  1. 使用无刻度天平找出12个硬币中的唯一一个伪币的问题。
    • 使用4次称量的方法
    • 使用3次称量的方法
    • 决策树的概念
  2. 移位加密
  3. 使用示意图辅助证明的优劣

2013年10月18日

[课件下载]

  1. 使用形式化方法帮助推理
  2. 逆否命题
  3. 使用全称量词和存在量词

2013年10月25日

  1. C++ 编程练习

2013年11月1日

校运动会

2013年11月8日

[课件下载]

  1. 27.3 课程Project
    • Successor Set的定义
    • 证明Successor Set的交集仍然是Successor Set
    • 证明W_A = W_B
  2. DH习题
    • 分支循环语句之间的相互转换
    • 用条件语句和递归实现while-do循环

2013年11月15日

[课件下载]

  1. 2.10~2.11 输出N!个由1~N组成的排列的方法；
  2. 2.12~2.15 判断一个排列是否可以使用一个栈输出；
  3. 2.16 简介二分搜索树的构建；
  4. 简介BNF(Backus-Naur Form)

2013年11月22日

  1. 程序正确性证明(赵建华教授)

2013年11月29日

[课件下载]

  1. SAT问题和3SAT问题
  2. 写一段代码输出一个含有m个子句的3SAT问题的实例；每个子句中变量从n个变量中随机取得。
  3. 扩充上面的代码尝试判断输出的实例是否是可满足的，如果是给出真值指派。
    • 如果采用穷举的方法，如何穷举所有可能的指派？
    • 尝试穷举之外的方法

2013年12月6日

[课件下载]

  1. 集合的定义和Paradox
  2. 文氏图
  3. Family of index sets
  4. 两两互不相交集合
  5. 幂集的概念与应用
  6. 笛卡尔集的概念

2013年12月13日

[课件下载]

  1. 关系的性质
  2. 等价关系
  3. 偏序和全序
  4. 自然数、整数、有理数和实数
  5. 实数的界和确界
  6. 习题反馈

2013年12月20日

[课件下载]

  1. 函数的定义Problem 13.3
  2. 特征函数Problem13.5
  3. 一对一函数和满射函数的概念
  4. 双射函数的概念
  5. 本学期内容简单回顾

2013年12月27日

[课件下载]

  1. 可数集的概念
  2. 实数集合不可数的证明
  3. 康托定理的证明
  4. Problem 22.3,22.1,22.1讨论
  5. Problem 21.19讨论
取自“http://cslabcms.nju.edu.cn/problem_solving/index.php?title=2013级--讨论记录_(第一学期)&oldid=704”