“2024级--学期安排 (第一学期)”的版本间的差异
来自问题求解
（→学习周历） |
|||
| 第1行： | 第1行： | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==基本要求== | ==基本要求== | ||
| 第105行： | 第56行： | ||
! 阅读材料 | ! 阅读材料 | ||
! 引导要点 | ! 引导要点 | ||
| + | ! 书面作业 | ||
|- | |- | ||
| style="width: 80px;" | | | style="width: 80px;" | | ||
| 第120行： | 第72行： | ||
* | * | ||
|- | |- | ||
| + | | | ||
| + | |||
| | | | ||
* 1-2：什么样的推理是正确的 | * 1-2：什么样的推理是正确的 | ||
| 第132行： | 第86行： | ||
* | * | ||
|- | |- | ||
| + | | | ||
| + | |||
| | | | ||
* 1-3：常用证明方法及其逻辑正确性 | * 1-3：常用证明方法及其逻辑正确性 | ||
| 第144行： | 第100行： | ||
* | * | ||
|- | |- | ||
| + | | | ||
| + | |||
| | | | ||
* 1-4: 算法的基本结构 | * 1-4: 算法的基本结构 | ||
| 第157行： | 第115行： | ||
* | * | ||
|- | |- | ||
| + | | | ||
| + | |||
| | | | ||
* 1-5: 数据与数据结构 | * 1-5: 数据与数据结构 | ||
| 第168行： | 第128行： | ||
| | | | ||
* | * | ||
| + | |||
|- | |- | ||
| + | | | ||
| + | |||
| | | | ||
* 1-6: 如何将算法告诉计算机 | * 1-6: 如何将算法告诉计算机 | ||
| 第182行： | 第145行： | ||
|- | |- | ||
| + | | | ||
| + | |||
| | | | ||
* 1-7: 不同的程序设计方法 | * 1-7: 不同的程序设计方法 | ||
| 第193行： | 第158行： | ||
* | * | ||
|- | |- | ||
| + | | | ||
| + | |||
| | | | ||
1-8 集合论 I: 公理与操作 | 1-8 集合论 I: 公理与操作 | ||
| 第205行： | 第172行： | ||
* | * | ||
|- | |- | ||
| + | | | ||
| + | |||
| | | | ||
1-9 集合论 II: 关系 | 1-9 集合论 II: 关系 | ||
| 第218行： | 第187行： | ||
* | * | ||
|- | |- | ||
| + | | | ||
| + | |||
| | | | ||
1-10 集合论 (III): 函数 | 1-10 集合论 (III): 函数 | ||
| 第230行： | 第201行： | ||
* | * | ||
|- | |- | ||
| + | | | ||
| + | |||
| | | | ||
1-11 集合论 (IV): 无穷 | 1-11 集合论 (IV): 无穷 | ||
| 第241行： | 第214行： | ||
* | * | ||
|- | |- | ||
| + | | | ||
| + | |||
| | | | ||
* 1-12: 偏序关系和格 | * 1-12: 偏序关系和格 | ||
| 第254行： | 第229行： | ||
* | * | ||
|- | |- | ||
| + | | | ||
| + | |||
| | | | ||
* 1-13: 算法方法与正确性 | * 1-13: 算法方法与正确性 | ||
| 第268行： | 第245行： | ||
* | * | ||
|- | |- | ||
| + | | | ||
| + | |||
| | | | ||
* [1-14:算法的效率] | * [1-14:算法的效率] | ||
| 第278行： | 第257行： | ||
| | | | ||
* 如何做算法复杂度分析 | * 如何做算法复杂度分析 | ||
| + | | | ||
| + | * | ||
| | | | ||
* | * | ||
} | } | ||
2024年9月4日 (三) 09:07的版本
基本要求
- 理解计算思维最核心的概念，了解计算的基本方法与局限。
- 接受基本的形式化训练，掌握抽象数学证明的基本方法。
- 程序设计能力。
考核方法
（以下考核方法可能会有变动）
所有形式的考核,均不准抄袭。
- 作业 (20%)
- 必须订正，否则分数极低，订正后的分数被采纳
- Open topics (10%)
- 每人至少做一次
- 做多次报告，取最高分
- 不做计 0 分
- OJ (20%)
- 期末笔试: (40%)
- 难度不高于平时训练，及格成绩由课外作业构成，进阶成绩由同难度未见习题构成
- 期末机试（10%）
指定教材
- 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.
推荐参考资料与课外读物
- Walter Savitch-Problem Solving with C++-Addison Wesley (2014)
- 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
课件下载
[
学习周历
| 日期 | 论题 | 学习目的 | 阅读材料 | 引导要点 | 书面作业 | |
|---|---|---|---|---|---|---|
|
|
|
|
| ||
|
|
|
|
| ||
|
|
|
|
| ||
|
|
|
|
| ||
|
|
|
|
| ||
|
|
|
|
| ||
|
|
|
|
| ||
|
1-8 集合论 I: 公理与操作 |
|
|
|
| ||
|
1-9 集合论 II: 关系 |
|
|
|
| ||
|
1-10 集合论 (III): 函数 |
|
|
|
| ||
|
1-11 集合论 (IV): 无穷 |
|
|
|
| ||
|
|
|
|
| ||
|
|
|
|
| ||
|
|
|
|
|
} |
