“2014级--小班讨论 (第一学期)”的版本间的差异
来自问题求解
(以“=2012年9月27日= [课件下载] <ol> <li>求解问题的The List及其应用。</li> <li>用计...”为内容创建页面) |
|||
(未显示同一用户的12个中间版本) | |||
第1行: | 第1行: | ||
− | = | + | =2014年9月26日= |
[[媒体文件:小班讨论-14级-第1学期-第1次.pdf|[课件下载]]] | [[媒体文件:小班讨论-14级-第1学期-第1次.pdf|[课件下载]]] | ||
<ol> | <ol> | ||
第5行: | 第5行: | ||
<li>用计算机求解问题。</li> | <li>用计算机求解问题。</li> | ||
<li>算法与编程的关系。</li> | <li>算法与编程的关系。</li> | ||
+ | </ol> | ||
+ | |||
+ | =2014年10月10日= | ||
+ | [[媒体文件:小班讨论-14级-第1学期-第2次.pdf|[课件下载]]] | ||
+ | <ol> | ||
+ | <li>statement和statement form。</li> | ||
+ | <li>真值表的应用。</li> | ||
+ | <li>equivalent statement forms及其应用。</li> | ||
+ | <li>set notation、量词及其否定。</li> | ||
+ | </ol> | ||
+ | |||
+ | =2014年10月17日= | ||
+ | [[媒体文件:小班讨论-14级-第1学期-第3次.pdf|[课件下载]]] | ||
+ | <ol> | ||
+ | <li>证明的方法、适用题型、逻辑正确性。</li> | ||
+ | <li>数学归纳法和鸽巢原理的应用。</li> | ||
+ | <li>控制结构、流程图与子程序。</li> | ||
+ | </ol> | ||
+ | |||
+ | =2014年10月24日= | ||
+ | |||
+ | =2014年11月7日= | ||
+ | [[媒体文件:小班讨论-14级-第1学期-第5次.pdf|[课件下载]]] | ||
+ | <ol> | ||
+ | <li>程序设计语言的语法、BNF、接受器。</li> | ||
+ | <li>程序设计语言的语义。</li> | ||
+ | <li>编译型语言、解释型语言。</li> | ||
+ | <li>不同范型的语言。</li> | ||
+ | </ol> | ||
+ | |||
+ | =2014年11月14日= | ||
+ | [[媒体文件:小班讨论-14级-第1学期-第6次.pdf|[课件下载]]] | ||
+ | <ol> | ||
+ | <li>集合的描述。</li> | ||
+ | <li>属于和包含的区别。</li> | ||
+ | <li>文氏图</li> | ||
+ | <li>index set。</li> | ||
+ | <li>有关集合的证明方法。</li> | ||
+ | <li>幂集、有序对和笛卡尔乘积。</li> | ||
+ | </ol> | ||
+ | |||
+ | =2014年11月21日= | ||
+ | [[媒体文件:小班讨论-14级-第1学期-第7次.pdf|[课件下载]]] | ||
+ | <ol> | ||
+ | <li>关系的基本概念。</li> | ||
+ | <li>等价关系与划分。</li> | ||
+ | <li>数集的界、极值和确界。</li> | ||
+ | <li>实数的完备性。</li> | ||
+ | <li>well-ordering principle of N。</li> | ||
+ | </ol> | ||
+ | |||
+ | =2014年11月28日= | ||
+ | [[媒体文件:小班讨论-14级-第1学期-第8次.pdf|[课件下载]]] | ||
+ | <ol> | ||
+ | <li>函数的基本概念。</li> | ||
+ | <li>函数基本概念的求解与证明。</li> | ||
+ | <li>函数的复合。</li> | ||
+ | <li>反函数。</li> | ||
+ | <li>函数的像。</li> | ||
+ | </ol> | ||
+ | |||
+ | =2014年12月5日= | ||
+ | [[媒体文件:小班讨论-14级-第1学期-第9次.pdf|[课件下载]]] | ||
+ | <ol> | ||
+ | <li>搜索和遍历的应用。</li> | ||
+ | <li>算法方法的应用。</li> | ||
+ | </ol> | ||
+ | |||
+ | =2014年12月12日= | ||
+ | [[媒体文件:小班讨论-14级-第1学期-第10次.pdf|[课件下载]]] | ||
+ | <ol> | ||
+ | <li>数独项目答辩。</li> | ||
+ | </ol> | ||
+ | |||
+ | =2014年12月18日= | ||
+ | [[媒体文件:小班讨论-14级-第1学期-第11次.pdf|[课件下载]]] | ||
+ | <ol> | ||
+ | <li>程序设计中的错误。</li> | ||
+ | <li>算法的正确性。</li> | ||
+ | <li>算法正确性的证明。</li> | ||
+ | </ol> | ||
+ | |||
+ | =2014年12月26日= | ||
+ | [[媒体文件:小班讨论-14级-第1学期-第12次.pdf|[课件下载]]] | ||
+ | <ol> | ||
+ | <li>等势和有限集合。</li> | ||
+ | <li>无限集合。</li> | ||
+ | <li>可数集合。</li> | ||
+ | <li>不可数集合。</li> | ||
+ | <li>metric。</li> | ||
</ol> | </ol> |
2014年12月26日 (五) 12:03的最新版本
目录
2014年9月26日
- 求解问题的The List及其应用。
- 用计算机求解问题。
- 算法与编程的关系。
2014年10月10日
- statement和statement form。
- 真值表的应用。
- equivalent statement forms及其应用。
- set notation、量词及其否定。
2014年10月17日
- 证明的方法、适用题型、逻辑正确性。
- 数学归纳法和鸽巢原理的应用。
- 控制结构、流程图与子程序。
2014年10月24日
2014年11月7日
- 程序设计语言的语法、BNF、接受器。
- 程序设计语言的语义。
- 编译型语言、解释型语言。
- 不同范型的语言。
2014年11月14日
- 集合的描述。
- 属于和包含的区别。
- 文氏图
- index set。
- 有关集合的证明方法。
- 幂集、有序对和笛卡尔乘积。
2014年11月21日
- 关系的基本概念。
- 等价关系与划分。
- 数集的界、极值和确界。
- 实数的完备性。
- well-ordering principle of N。
2014年11月28日
- 函数的基本概念。
- 函数基本概念的求解与证明。
- 函数的复合。
- 反函数。
- 函数的像。
2014年12月5日
- 搜索和遍历的应用。
- 算法方法的应用。
2014年12月12日
- 数独项目答辩。
2014年12月18日
- 程序设计中的错误。
- 算法的正确性。
- 算法正确性的证明。
2014年12月26日
- 等势和有限集合。
- 无限集合。
- 可数集合。
- 不可数集合。
- metric。