|
|
| 第17行： |
第17行： |
| | </ul> | | </ul> |
| | </ol> | | </ol> |
| − |
| |
| − | =2013年10月11日=
| |
| − | [[媒体文件:讨论记录10-11.pdf|[课件下载]]]
| |
| − | <ol>
| |
| − | <li>
| |
| − | 使用无刻度天平找出12个硬币中的唯一一个伪币的问题。
| |
| − | <ul>
| |
| − | <li>使用4次称量的方法</li>
| |
| − | <li>使用3次称量的方法</li>
| |
| − | <li>决策树的概念</li>
| |
| − | </ul>
| |
| − | </li>
| |
| − |
| |
| − | <li>
| |
| − | 移位加密</li>
| |
| − | <li>使用示意图辅助证明的优劣</li>
| |
| − | </ol>
| |
| − |
| |
| − | =2013年10月18日=
| |
| − | [[媒体文件:讨论记录10-18.pdf|[课件下载]]]
| |
| − |
| |
| − | <ol>
| |
| − | <li>使用形式化方法帮助推理</li>
| |
| − | <li>逆否命题</li>
| |
| − | <li>使用全称量词和存在量词</li>
| |
| − |
| |
| − | </ol>
| |
| − |
| |
| − | =2013年10月25日=
| |
| − | <ol>
| |
| − | <li>C++ 编程练习</li>
| |
| − | </ol>
| |
| − |
| |
| − | =2013年11月1日=
| |
| − | 校运动会
| |
| − | =2013年11月8日=
| |
| − | [[媒体文件:作业反馈11-8.pdf|[课件下载]]]
| |
| − | <ol>
| |
| − | <li>27.3 课程Project</li>
| |
| − | <ul><li>Successor Set的定义</li></ul>
| |
| − | <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>
| |
| − |
| |
| − | =2013年11月15日=
| |
| − | [[媒体文件:作业反馈与讨论11-15.pdf|[课件下载]]]
| |
| − | <ol>
| |
| − | <li>2.10~2.11 输出N!个由1~N组成的排列的方法；</li>
| |
| − | <li>2.12~2.15 判断一个排列是否可以使用一个栈输出；</li>
| |
| − | <li>2.16 简介二分搜索树的构建；</li>
| |
| − | <li>简介BNF(Backus-Naur Form)</li>
| |
| − | </ol>
| |
| − |
| |
| − | =2013年11月22日=
| |
| − | <ol>
| |
| − | <li>程序正确性证明(赵建华教授)</li>
| |
| − | </ol>
| |
| − |
| |
| − | =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日=
| |
| − | [[媒体文件:问题讨论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日=
| |
| − |
| |
| − | [[媒体文件:问题讨论12-13.pdf|[课件下载]]]
| |
| − | <ol>
| |
| − | <li>关系的性质</li>
| |
| − | <li>等价关系</li>
| |
| − | <li>偏序和全序</li>
| |
| − | <li>自然数、整数、有理数和实数</li>
| |
| − | <li>实数的界和确界</li>
| |
| − | <li>习题反馈</li>
| |
| − | </ol>
| |
| − |
| |
| − | =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日=
| |
| − | [[媒体文件:问题讨论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>
| |
