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

2017年10月19日 (四) 11:23的版本

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, 2003
ES: Edward Scheinerman: Mathematics - A Discrete Introduction, 2nd ed. Brooks/Cole, 2005 (第24节：鸽巢原理)
WS: Walter Savitch: Problem Solving with C++, 7th ed. Addison Wesley, 2008

学习周历

日期	论题	学习目的	阅读材料	引导要点	书面作业	编程任务
2017-09-25	1-0：计算思维引导		Computational Thinking: What and Why?.pdf
2017-09-28	1-1：为什么计算机能解题	理解问题求解的基本过程理解计算机中简单操作为什么能解决复杂问题	DH第1章 UD第1章	简单操作能够解决各种复杂问题的关键是算法	UD第1章问题 2、3、4、5、6、8	待定
2017-10-12	1-2：什么样的推理是正确的	掌握命题逻辑与谓词逻辑的基本推导方法	UD第2、3、4章	计算机解题的关键是正确的推导其正向是算法的设计，其反向是正确性证明	UD第2章问题 1 (1)、5 (5)、6 (7)、7 (11)、8 (12)、10 (15)、11 (16) UD第3章问题 2 (3)、6 (10)、7 (11)、8 (12)、9 (13)、10 (14)、11 (15) UD第4章问题 1 (1)、5 (5)、7 (9)、9 (11)、13 (20)	待定
2017-10-19	1-3：常用的证明方法	掌握逻辑正确的常用证明方法	UD第5、17章 ES第24节	为什么这些方法在逻辑上是正确的？	UD第5章问题 12 (5.21)、14 (5.24) UD第17章问题 11 (18.11)、13 (18.15)、14 (18.20)、16 (18.22)、18 (18.24)、19 (18.25) ES第24节练习 4、6、8	待定
2017-10-26	1-4: 基本的算法结构	理解基本的算法结构：顺序、分支、循环、子程序、递归理解程序最基本单元的正确性概念	DH第2章第 1、2 单元 Go To Statement Considered Harmful (Dijkstra CACM 1968)	基本结构的组合方式及其正确性	DH第2章练习 1、2、3、4、5、6、7、8	待定

@@ 第86行： / 第86行： @@
 * UD第17章问题 11 (18.11)、13 (18.15)、14 (18.20)、16 (18.22)、18 (18.24)、19 (18.25)
 * ES第24节练习 4、6、8
+|
+* 待定
+|-
+|
+-10-26
+|
+* 1-4: 基本的算法结构
+|
+* 理解基本的算法结构：顺序、分支、循环、子程序、递归
+* 理解程序最基本单元的正确性概念
+|
+* DH第2章第 1、2 单元
+* [[Media:Go_To_Statement_Considered_Harmful_(Dijkstra_CACM_1968).pdf ‎| Go To Statement Considered Harmful (Dijkstra CACM 1968)]]
+|
+* 基本结构的组合方式及其正确性
+|
+* DH第2章练习 1、2、3、4、5、6、7、8
 |
 * 待定
 |}