“2021级--学期安排 (第一学期)”的版本间的差异
来自问题求解
(→学习周历) |
(→学习周历) |
||
第76行: | 第76行: | ||
* 简单操作能够解决各种复杂问题的关键是算法 | * 简单操作能够解决各种复杂问题的关键是算法 | ||
| | | | ||
− | * [[Media: | + | * [[Media: | 1-1-why]] |
|- | |- | ||
| | | | ||
第90行: | 第90行: | ||
* 其正向是算法的设计,其反向是正确性证明 | * 其正向是算法的设计,其反向是正确性证明 | ||
| | | | ||
− | * [[Media: | + | * [[Media: | 1-2-reasoning]] |
|- | |- | ||
| | | | ||
第104行: | 第104行: | ||
* 为什么这些方法在逻辑上是正确的? | * 为什么这些方法在逻辑上是正确的? | ||
| | | | ||
− | * [[Media: | + | * [[Media:| 1-3-proof]] |
|- | |- | ||
| | | | ||
第119行: | 第119行: | ||
* 基本结构的组合方式及其正确性 | * 基本结构的组合方式及其正确性 | ||
| | | | ||
− | * [[Media: | + | * [[Media:| 1-4-algorithm]] |
|- | |- | ||
| | | | ||
第133行: | 第133行: | ||
* 有结构的数据对于计算以及算法设计的影响 | * 有结构的数据对于计算以及算法设计的影响 | ||
| | | | ||
− | * [[Media: | + | * [[Media:| 1-5-data-structure]] |
|- | |- | ||
第148行: | 第148行: | ||
* 程序设计语言如何体现算法的基本要素与结构 | * 程序设计语言如何体现算法的基本要素与结构 | ||
| | | | ||
− | * [[Media: | + | * [[Media:| 1-6-programming-language]] |
|- | |- | ||
第162行: | 第162行: | ||
* 为什么会出现不同的风范 | * 为什么会出现不同的风范 | ||
| | | | ||
− | * [[Media: | + | * [[Media: | 1-7-programming-paradigm]] |
|- | |- | ||
| | | | ||
第178行: | 第178行: | ||
* 集合语言是形式化方法的基础 | * 集合语言是形式化方法的基础 | ||
| | | | ||
− | * [[Media: | + | * [[Media:| 1-8-set]] |
|- | |- | ||
| | | | ||
第195行: | 第195行: | ||
* 对象及其相互之间的关系是所有数学建模的核心概念 | * 对象及其相互之间的关系是所有数学建模的核心概念 | ||
| | | | ||
− | * [[Media: | + | * [[Media:| 1-9-relation]] |
|- | |- | ||
| | | | ||
第211行: | 第211行: | ||
* 映射与计算机问题求解 --- 从问题空间到解空间 | * 映射与计算机问题求解 --- 从问题空间到解空间 | ||
| | | | ||
− | * [[Media: | + | * [[Media: | 1-10-function]] |
|- | |- | ||
| | | | ||
第226行: | 第226行: | ||
* 如何比较无限集合的大小 | * 如何比较无限集合的大小 | ||
| | | | ||
− | * [[Media: | + | * [[Media:| 1-11-infinity]] |
|- | |- | ||
| | | |
2021年9月14日 (二) 08:52的版本
基本要求
- 理解计算思维最核心的概念,了解计算的基本方法与局限。
- 接受基本的形式化训练,掌握抽象数学证明的基本方法。
- 程序设计能力。
考核方法
(以下考核方法可能会有变动)
所有形式的考核,均不准抄袭。
- 作业 (20%)
- 必须订正,否则分数极低,订正后的分数被采纳
- Open topics (20%)
- 评分: 待定
- 每人至少做一次
- 做多次报告,取最高分
- 不做计 0 分
- OJ (20%)
- 期末: (40%)
- 难度不高于平时训练,及格成绩由课外作业构成,进阶成绩由同难度未见习题构成
- 及格成绩?进阶成绩?
- 机试?笔试?
指定教材
- DH: David Harel et al.: Algorithmics - The Spirit of Computing, 3rd ed. Addison-Wesley, 2004
- UD: Ulrich Daepp et al.: Reading, Writing, and Proving - A Closer Look at Mathematics, 2nd ed. Springer, 2010
- ES: Edward Scheinerman: Mathematics - A Discrete Introduction, 2nd ed. Brooks/Cole, 2005 (第24节:鸽巢原理)
- SM: Seymour Lipschutz and Marc Lipson: Theory and Problems of Discrete Mathematics, 3rd ed.
推荐课外读物
- Logicomix: An Epic Search for Truth, Apostolos Doxiadis, Christos Papadimitriou (2009 English Translation).
《疯狂的罗素:逻辑学与数学的奇幻之旅》,张立英(译),中国人民大学出版社,2018。
- Engines of Logic: Mathematicians and the Origin of the Computer. Davis, Martin (2000). New York: Norton.
《逻辑的引擎》,张卜天 (译),湖南科学技术出版社,第一推动丛书,2005。
- 《三次数学危机与数学悖论》,韩雪涛,人民邮电出版社。
第三部分:罗素悖论与第三次数学危机
Open Topics
学习周历
日期 | 论题 | 学习目的 | 阅读材料 | 引导要点 | 书面作业 |
---|---|---|---|---|---|
2021-09-24 |
|
||||
|
|
|
|
| |
|
|
|
|
| |
|
|
|
|
| |
|
|
|
|
| |
|
|
|
|
| |
|
|
|
|
| |
|
|
|
|
| |
1-8 集合论 I: 公理与操作 (魏) |
|
|
|
| |
1-9 集合论 II: 关系 (魏) |
|
|
|
| |
1-10 集合论 (III): 函数 (魏) |
|
|
|
| |
1-11 集合论 (IV): 无穷 (魏) |
|
|
|
| |
|
|
|
|||
|
|
|