“2021级--学期安排 (第一学期)”的版本间的差异
来自问题求解
(创建页面,内容为“==基本要求== * 理解计算思维最核心的概念,了解计算的基本方法与局限。 * 接受基本的形式化训练,掌握抽象数学证明的基...”) |
(→学习周历) |
||
第54行: | 第54行: | ||
! 引导要点 | ! 引导要点 | ||
! 书面作业 | ! 书面作业 | ||
− | |||
|- | |- | ||
− | | style="width: 80px;" | | + | | style="width: 80px;" | 2021-09-24 |
| style="width: 250px;" | | | style="width: 250px;" | | ||
− | * [[Media:Lecture1-2019-09-24-问题求解课程解释和约定.pptx | 1-0:问题求解课程解释和约定]] | + | * [[Media:Lecture1-2019-09-24-问题求解课程解释和约定.pptx | 1-0:问题求解课程解释和约定]](old) |
| | | | ||
| | | | ||
第66行: | 第65行: | ||
| 2019-10-08 | | 2019-10-08 | ||
| | | | ||
− | * [[Media:Lecture1-1_2019-10-08_计算机为什么能解题_陶先平.pptx | 1-1:为什么计算机能解题(陶先平)]] | + | * [[Media:Lecture1-1_2019-10-08_计算机为什么能解题_陶先平.pptx | 1-1:为什么计算机能解题(陶先平)]](old) |
− | * [[Media:Lecture1-1_2019-10-08_计算机为什么能解题_马骏.pptx | 1-1:为什么计算机能解题(马骏)]] | + | * [[Media:Lecture1-1_2019-10-08_计算机为什么能解题_马骏.pptx | 1-1:为什么计算机能解题(马骏)]](old) |
| | | | ||
* 理解问题求解的基本过程 | * 理解问题求解的基本过程 | ||
第82行: | 第81行: | ||
2019-10-15 | 2019-10-15 | ||
| | | | ||
− | * [[media:Lecture1-2_2019-10-15_什么样的推理是正确的_马骏.pptx|1-2:什么样的推理是正确的]] | + | * [[media:Lecture1-2_2019-10-15_什么样的推理是正确的_马骏.pptx|1-2:什么样的推理是正确的]](old) |
| | | | ||
* 掌握命题逻辑与谓词逻辑的基本推导方法 | * 掌握命题逻辑与谓词逻辑的基本推导方法 | ||
第96行: | 第95行: | ||
2019-10-22 | 2019-10-22 | ||
| | | | ||
− | * [[media:Lecture1-3_2019-10-22_常用证明方法及其逻辑正确性.pptx |1-3:常用证明方法及其逻辑正确性]] | + | * [[media:Lecture1-3_2019-10-22_常用证明方法及其逻辑正确性.pptx |1-3:常用证明方法及其逻辑正确性]](old) |
| | | | ||
* 掌握逻辑正确的常用证明方法 | * 掌握逻辑正确的常用证明方法 | ||
第110行: | 第109行: | ||
2019-10-29 | 2019-10-29 | ||
| | | | ||
− | * [[media:Lecture1-4_2019-10-29_算法的基本结构.pptx |1-4: 算法的基本结构]] | + | * [[media:Lecture1-4_2019-10-29_算法的基本结构.pptx |1-4: 算法的基本结构]](old) |
| | | | ||
* 理解基本的算法结构:顺序、分支、循环、子程序、递归 | * 理解基本的算法结构:顺序、分支、循环、子程序、递归 | ||
第125行: | 第124行: | ||
2019-11-05 | 2019-11-05 | ||
| | | | ||
− | * [[Media:Lecture1-5_2019-11-05_数据与数据结构.pptx |1-5: 数据与数据结构]] | + | * [[Media:Lecture1-5_2019-11-05_数据与数据结构.pptx |1-5: 数据与数据结构]](old) |
| | | | ||
* 理解数据在计算机问题求解中的核心作用 | * 理解数据在计算机问题求解中的核心作用 | ||
第140行: | 第139行: | ||
2019-11-12 | 2019-11-12 | ||
| | | | ||
− | * [[Media:Lecture1-6_2019-11-12_如何将算法告诉计算机.pptx | 1-6: 如何将算法告诉计算机 (陶)]] | + | * [[Media:Lecture1-6_2019-11-12_如何将算法告诉计算机.pptx | 1-6: 如何将算法告诉计算机 (陶)]](old) |
| | | | ||
* 理解程序设计语言的基本概念 | * 理解程序设计语言的基本概念 |
2021年9月13日 (一) 14:08的版本
基本要求
- 理解计算思维最核心的概念,了解计算的基本方法与局限。
- 接受基本的形式化训练,掌握抽象数学证明的基本方法。
- 程序设计能力。
考核方法
(以下考核方法可能会有变动)
所有形式的考核,均不准抄袭。
- 作业 (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 |
|
||||
2019-10-08 |
|
|
|
|
|
2019-10-15 |
|
|
|
|
|
2019-10-22 |
|
|
|
|
|
2019-10-29 |
|
|
|
|
|
2019-11-05 |
|
|
|
|
|
2019-11-12 |
|
|
|
|
|
2019-11-19 |
|
|
|
|
|
2019-11-26 |
1-8 集合论 I: 公理与操作 (魏) |
|
|
|
|
2019-12-03 |
1-9 集合论 II: 关系 (魏) |
|
|
|
|
2019-12-10 |
1-10 集合论 (III): 函数 (魏) |
|
|
|
|
2019-12-17 |
1-11 集合论 (IV): 无穷 (魏) |
|
|
|
|
2019-12-24 |
|
|
|
||
2020-02-20 |
|
|
|