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