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

来自问题求解
跳转至： 导航、 搜索
（→‎2013年9月29日）
 
（未显示同一用户的20个中间版本）
第1行： 第1行：
−
=2013年9月29日=
+
=2015年10月13日=
−
[[媒体文件:Feedback.pdf|[课件下载]]]
 
 
<ol>
 
<ol>
 
   <li>
 
   <li>
−
     根据9月27日（星期五）上所作的测试的结果进行反馈。
+
     鸽笼原理讨论。
 
     <ul>
 
     <ul>
−
       <li>讨论同学们的程序中的问题</li>
+
       <li>介绍鸽笼原理本质</li>
−
       <li>提供程序设计的建议</li>
+
       <li>鸽笼原理的应用举例</li>
 
     </ul>
 
     </ul>
 
   </li>
 
   </li>
 
    
 
    
 
   <li>
 
   <li>
−
     第一个编程练习。
+
     Chomp game 分析。
 +
</ol>
 +
=2015年10月20日=
 +
<ol>
 +
  <li>
 +
    皮亚诺公理系统。
 +
  </li>
 +
 
 +
  <li>
 +
    第二次作业分析。
 +
</li>
 +
</ol>
 +
=2015年10月24日=
 +
<ol>
 +
  <li>
 +
    集合
 +
    <ul>
 +
      <li>幂集</li>
 +
      <li>笛卡尔积</li>
 +
    </ul>
 +
  </li>
 +
 
 +
  <li>
 +
    程序设计（1）
 
     <ul>
 
     <ul>
−
       <li>熟悉VC++编程环境。</li>
+
       <li>什么是程序设计</li>
−
       <li>让有编程经验的同学帮助一位没有编程经验的同学完成第一个程序Hello world.</li>
+
       <li>程序的基本元素</li>
 
     </ul>
 
     </ul>
−
  </ol>
+
</li>
−
 
+
</ol>
−
=2013年10月11日=
+
=2015年11月03日=
−
[[媒体文件:讨论记录10-11.pdf|[课件下载]]]
 
 
<ol>
 
<ol>
 
   <li>
 
   <li>
−
     使用无刻度天平找出12个硬币中的唯一一个伪币的问题。
+
     习题反馈
−
    <ul>
+
    <ul>
−
       <li>使用4次称量的方法</li>
+
       <li>[http://114.212.10.6/problem_solving/index.php/%E6%96%87%E4%BB%B6:%E4%BD%9C%E4%B8%9A%E5%8F%8D%E9%A6%881-4.pdf 习题1-4]</li>
−
       <li>使用3次称量的方法</li>
+
       <li>[http://114.212.10.6/problem_solving/index.php/%E6%96%87%E4%BB%B6:%E4%BD%9C%E4%B8%9A%E5%8F%8D%E9%A6%881-5.pdf 习题1-5]</li>
−
      <li>决策树的概念</li>
 
 
     </ul>
 
     </ul>
 
   </li>
 
   </li>
 
    
 
    
 
   <li>
 
   <li>
−
     移位加密</li>
+
     专题讨论（1）
−
  <li>使用示意图辅助证明的优劣</li>   
+
    <ul>
−
  </ol>
+
      <li>[http://114.212.10.6/problem_solving/index.php/%E6%96%87%E4%BB%B6:Union_by_Alex_Liu.pdf c++ union简介]</li>
−
 
+
    </ul>
−
=2013年10月18日=
+
</li>
−
[[媒体文件:讨论记录10-18.pdf|[课件下载]]]
+
  </ol>
−
 
+
=2015年11月10日=
 
<ol>
 
<ol>
−
<li>使用形式化方法帮助推理</li>
+
  <li>
−
<li>逆否命题</li>
+
    专题讨论（2）
−
<li>使用全称量词和存在量词</li>
+
    <ul>
−
 
+
      <li>[http://114.212.10.6/problem_solving/index.php/%E6%96%87%E4%BB%B6:Union_by_Alex_Liu.pdf 逻辑范式]</li>
−
</ol>
+
      <ul>
−
 
+
      <li>合取范式与析取范式</li>
−
=2013年10月25日=
+
      <li>SAT 问题简介</li>
−
<ol>
+
    </ul>
−
<li>C++ 编程练习</li>
+
    </ul>
−
</ol>
+
</li>
−
 
+
</ol>
−
=2013年11月1日=
+
=2015年11月17日=
−
校运动会
 
−
=2013年11月8日=
 
−
[[媒体文件:作业反馈11-8.pdf|[课件下载]]]
 
 
<ol>
 
<ol>
−
<li>27.3 课程Project</li>
+
      <li>[http://114.212.10.6/problem_solving/index.php/%E6%96%87%E4%BB%B6:%E4%BD%9C%E4%B8%9A%E5%8F%8D%E9%A6%881-8.pdf 习题讲解1-8]</li>
−
<ul><li>Successor Set的定义</li></ul>
+
</ol>
−
<ul><li>证明Successor Set的交集仍然是Successor Set</li></ul>
 
−
<ul><li>证明W_A = W_B</li></ul>
 
−
<li>DH习题</li>
 
−
<ul><li>分支循环语句之间的相互转换</li></ul>
 
−
<ul><li>用条件语句和递归实现while-do循环</li></ul>
 
  
−
</ol>
+
=2015年11月23日=
−
 
 
−
=2013年11月15日=
 
−
[[媒体文件:作业反馈与讨论11-15.pdf|[课件下载]]]
 
 
<ol>
 
<ol>
−
<li>2.10~2.11 输出N!个由1~N组成的排列的方法；</li>
+
      <li>[http://114.212.10.6/problem_solving/index.php/%E6%96%87%E4%BB%B6:%E4%BD%9C%E4%B8%9A%E5%8F%8D%E9%A6%881-9.pdf 习题讲解1-9]</li>
−
<li>2.12~2.15 判断一个排列是否可以使用一个栈输出；</li>
+
</ol>
−
<li>2.16 简介二分搜索树的构建；</li>
 
−
<li>简介BNF(Backus-Naur Form)</li>
 
−
</ol>
 
  
−
=2013年11月22日=
+
=2015年12月1日=
 
<ol>
 
<ol>
−
<li>程序正确性证明(赵建华教授)</li>
+
      <li>课堂编程比赛（1）</li>
−
</ol>
+
</ol>
−
 
+
=2015年12月8日=
−
=2013年11月29日=
 
−
[[媒体文件:问题讨论11-29.pdf|[课件下载]]]
 
 
<ol>
 
<ol>
−
<li>SAT问题和3SAT问题</li>
+
      <li>课堂编程比赛（2）</li>
−
<li>写一段代码输出一个含有m个子句的3SAT问题的实例；每个子句中变量从n个变量中随机取得。</li>
+
      <li>[http://114.212.10.6/problem_solving/index.php/%E6%96%87%E4%BB%B6:%E4%BD%9C%E4%B8%9A%E5%8F%8D%E9%A6%881-10.pdf 习题讲解1-10]</li>
−
<li>扩充上面的代码尝试判断输出的实例是否是可满足的，如果是给出真值指派。</li>
+
</ol>
−
<ul><li>如果采用穷举的方法，如何穷举所有可能的指派？</li></ul>
+
=2015年12月15日=
−
<ul><li>尝试穷举之外的方法</li></ul>
 
−
</ol>
 
−
 
 
−
=2013年12月6日=
 
−
[[媒体文件:问题讨论12-6.pdf|[课件下载]]]
 
 
<ol>
 
<ol>
−
<li>集合的定义和Paradox</li>
+
      <li>课堂编程比赛（3）</li>
−
<li>文氏图</li>
+
      <li>[http://114.212.10.6/problem_solving/index.php/%E6%96%87%E4%BB%B6:%E4%BD%9C%E4%B8%9A%E5%8F%8D%E9%A6%881-11.pdf  习题讲解1-11]</li>
−
<li>Family of index sets</li>
+
</ol>
−
<li>两两互不相交集合</li>
+
=2015年12月22日=
−
<li>幂集的概念与应用</li>
 
−
<li>笛卡尔集的概念</li>
 
−
</ol>
 
−
 
 
−
=2013年12月13日=
 
−
 
 
−
[[媒体文件:问题讨论12-13.pdf|[课件下载]]]
 
 
<ol>
 
<ol>
−
<li>关系的性质</li>
+
      <li>课堂编程比赛（4）</li>
−
<li>等价关系</li>
 
−
<li>偏序和全序</li>
 
−
<li>自然数、整数、有理数和实数</li>
 
−
<li>实数的界和确界</li>
 
−
<li>习题反馈</li>
 
 
</ol>
 
</ol>
−
 
+
=2015年12月29日=
−
=2013年12月20日=
 
−
[[媒体文件:问题讨论12-20.pdf|[课件下载]]]
 
 
<ol>
 
<ol>
−
<li>函数的定义Problem 13.3</li>
+
      <li>课堂编程比赛（5）</li>
−
<li>特征函数Problem13.5</li>
+
      <li>[http://114.212.10.6/problem_solving/index.php/%E6%96%87%E4%BB%B6:%E4%BD%9C%E4%B8%9A%E5%8F%8D%E9%A6%881-12.pdf 习题讲解1-12]</li>
−
<li>一对一函数和满射函数的概念</li>
+
</ol>
−
<li>双射函数的概念</li>
+
=2016年1月9日=
−
<li>本学期内容简单回顾</li>
 
−
</ol>
 
−
 
 
−
=2013年12月27日=
 
−
[[媒体文件:问题讨论12-27.pdf|[课件下载]]]
 
 
<ol>
 
<ol>
−
<li>可数集的概念</li>
+
      <li>[http://114.212.10.6/problem_solving/index.php/%E6%96%87%E4%BB%B6:%E4%BD%9C%E4%B8%9A%E5%8F%8D%E9%A6%881-13.pdf 习题讲解1-13]</li>
−
<li>实数集合不可数的证明</li>
+
</ol>
−
<li>康托定理的证明</li>
 
−
<li>Problem 22.3,22.1,22.1讨论</li>
 
−
<li>Problem 21.19讨论</li>
 
−
</ol>
 

2016年3月14日 (一) 09:24的最新版本

2015年10月13日

  1. 鸽笼原理讨论。
    • 介绍鸽笼原理本质
    • 鸽笼原理的应用举例
  2. Chomp game 分析。

2015年10月20日

  1. 皮亚诺公理系统。
  2. 第二次作业分析。

2015年10月24日

  1. 集合
    • 幂集
    • 笛卡尔积
  2. 程序设计（1）
    • 什么是程序设计
    • 程序的基本元素

2015年11月03日

  1. 习题反馈
  2. 专题讨论（1）

2015年11月10日

  1. 专题讨论（2）

2015年11月17日

  1. 习题讲解1-8

2015年11月23日

  1. 习题讲解1-9

2015年12月1日

  1. 课堂编程比赛（1）

2015年12月8日

  1. 课堂编程比赛（2）
  2. 习题讲解1-10

2015年12月15日

  1. 课堂编程比赛（3）
  2. 习题讲解1-11

2015年12月22日

  1. 课堂编程比赛（4）

2015年12月29日

  1. 课堂编程比赛（5）
  2. 习题讲解1-12

2016年1月9日

  1. 习题讲解1-13
取自“http://cslabcms.nju.edu.cn/problem_solving/index.php?title=2015级--讨论记录_(第一学期)&oldid=1446”