“2024级--学期安排 (第一学期)”的版本间的差异

2024年9月5日 (四) 15:55的版本

本论域的教学目标

• 接受良好的形式化训练，掌握抽象数学证明的基本方法
• 理解计算思维最核心的概念，了解计算的基本方法与局限

基本要求

• 理解计算思维最核心的概念，了解计算的基本方法与局限。
• 接受基本的形式化训练，掌握抽象数学证明的基本方法。
• 程序设计能力。

考核方法

（以下考核方法可能会有变动）

所有形式的考核,均不准抄袭。

• 作业 (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。

- 《三次数学危机与数学悖论》，韩雪涛，人民邮电出版社。

 第三部分：罗素悖论与第三次数学危机

学习周历