2012级--学期安排 (第一学期)

基本要求

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

注意：程序设计能力要求贯穿于整个课程，不再单列。

指定教材

• DH: David Harel et al.: Algorithmics - The Spirit of Computing, 3rd ed. Addison-Wesley, 2004
• ES: Edward Scheinerman: Mathematics - A Discrete Introduction, 2nd ed. Brooks/Cole, 2005 (第24节：鸽巢原理)
• UD: Ulrich Daepp et al.: Reading, Writing, and Proving - A Closer Look at Mathematics, 1st ed. Springer, 2003
• WS: Walter Savitch: Problem Solving with C++, 7th ed. Addison Wesley, 2008

推荐课外读物

• Gary Shelly et al.: Discovering Computers 2011 - Living in a Digital World. Course Technology, 2011

学习周历

日期	论题	学习目的	阅读材料	引导要点	编程任务
9.24--9.28	1-1：为什么计算机能解题	理解问题求解的基本过程 理解计算机中简单操作为什么能解决复杂问题	DH第1章 UD第1章	简单操作能够解决各种复杂问题的关键是算法	WS第28页DISPLAY 1.10
10.8--10.12	1-2：什么样的推理是正确的	掌握命题逻辑与谓词逻辑的基本推导方法	UD第2、3、4章	计算机解题的关键是正确的推导 其正向是算法的设计，其反向是正确性证明	WS第2章PP3 WS第2章PP10
10.15--10.19	1-3：常用的证明方法	掌握逻辑正确的常用证明方法	UD第5、17章 ES第24节	为什么这些方法逻辑上是正确的	WS第2章PP14 WS第3章PP1