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

• 1-0：计算思维引导

• Computational Thinking: What and Why?.pdf

• 1-1：为什么计算机能解题

• 理解问题求解的基本过程
• 理解计算机中简单操作为什么能解决复杂问题

• DH第1章
• UD第1章

• 简单操作能够解决各种复杂问题的关键是算法

• UD第1章问题 5、8

• 待定

2017-10-12

• 1-2：什么样的推理是正确的

• 掌握命题逻辑与谓词逻辑的基本推导方法

• UD第2、3、4章

• 计算机解题的关键是正确的推导
• 其正向是算法的设计，其反向是正确性证明

• UD第2章问题 1(a,b,e,g)、5、6(a,c,d,f,h)、11
• UD第3章问题 2(c)、6、8、9、11
• UD第4章问题 1(a,c,d)、5(a,f,h,j,k)、7、13(a,b,e,g)

• 待定

2017-10-19

• 1-3：常用的证明方法

• 掌握逻辑正确的常用证明方法

• UD第5、17章
• ES第24节

• 为什么这些方法在逻辑上是正确的？

• UD第17章问题 14、16
• ES第24节练习 4

• 待定

2017-10-26

• 1-4: 基本的算法结构

• 理解基本的算法结构：顺序、分支、循环、子程序、递归
• 理解程序最基本单元的正确性概念

• DH第2章第 1、2 单元
• Go To Statement Considered Harmful (Dijkstra CACM 1968)

• 基本结构的组合方式及其正确性

• DH第2章练习 2、5、7、8

• 待定

2017-11-02

• 1-5: 数据与数据结构

• 理解数据在计算机问题求解中的核心作用
• 通过例子理解几种常用的数据结构

• DH第2章第 3、4 单元

• 有结构的数据对于计算以及算法设计的影响

• DH第2章练习 11、12、13、15

• 待定

2017-11-23

• 1-8: 集合及其运算

• 掌握集合的基本概念以及基本数学性质
• 进一步巩固数学证明能力

• UD第6、7、8、9章

• 集合语言是形式化方法的基础，也是算法问题表述的基本手段

• UD第6章问题 16
• UD第7章问题 1(16,20)、9、11
• UD第8章问题 1、4、8
• UD第9章问题 2、4、13、14(a)、16

• 待定

2017-11-30

• 1-9: 关系及其基本性质

• 掌握关系的概念与基本数学性质
• 理解等价关系与次序关系的数学性质
• 进一步巩固数学证明能力

• UD第10、11、12章

• 对象及其相互之间的关系是所有数学建模的核心概念

• UD第10章问题 4、8
• UD第11章问题 3、7、9
• UD第12章问题 13

• 待定

2017-12-07

• 1-10: 函数

• 从问题求解的角度理解函数的概念及其重要的数学性质
• 熟悉函数表述方式

• UD第14、15、16章

• 映射与计算机问题求解 --- 从问题空间到解空间

• UD第13章问题 4、11、13
• UD第14章问题 12、15
• UD第15章问题 11、12、14、20
• UD第16章问题 19、20、21

• 待定

2017-12-14

• 1-11: 有限与无限

• 理解无限集合的重要数学性质，理解可数与不可数的差别
• 理解有限过程与无限过程的概念与差别

• UD第20、21、22章

• 如何比较无限集合的大小

• UD第20章问题 10
• UD第21章问题 9、16、17、18、19
• UD第22章问题 1(b)、2(e)、3、9

• 待定

2017-12-21

• 1-12: 偏序关系和格

• 理解集合上的序关系
• 理解格的基本概念
• 理解偏序集与格的联系与区别

• SM第14章

• 如何定义集合中元素的“序”

• SM第14章 62(修改为 only one isomorphic mapping)、70、75

• 待定

2017-12-28

• 1-13: 布尔代数

• 理解布尔代数基本概念
• 理解布尔代数与格的联系与区别
• 布尔代数表达式的化简

• SM第15章

• 布尔代数

• 证明SM定理15.6
• 证明等势(有穷)的布尔代数均同构

• 待定