2017级--学期安排 (第一学期 寒假补课)

寒假补课安排

• 指定教材
• 注意: UD 指的是 UD 1st edition (不是 2nd edition).
• LaTeX Template for Homework (Learn LaTeX in 30 Minutes)

日期	论题	学习目的	阅读材料	引导要点	书面作业	编程任务
2018-02-@@	1-0：计算思维引导		Computational Thinking: What and Why?.pdf
	1-1：为什么计算机能解题	理解问题求解的基本过程 理解计算机中简单操作为什么能解决复杂问题	DH第1章 UD第1章	简单操作能够解决各种复杂问题的关键是算法	UD第1章问题 5、8	待定
	1-2：什么样的推理是正确的	掌握命题逻辑与谓词逻辑的基本推导方法	UD第2、3、4章	计算机解题的关键是正确的推导 其正向是算法的设计，其反向是正确性证明	UD第2章问题 1(a,b,e,g)、6(a,c,d,f,h)、11 UD第3章问题 2(c)、6、8、9、11 UD第4章问题 1(a,c,e)、5(a,f,h,j,k; 要求先"符号化")、7(a,c)、13(a,b,g)	待定
	1-3：常用的证明方法	掌握逻辑正确的常用证明方法	UD第5、17章 ES第24节	为什么这些方法在逻辑上是正确的？	UD第17章问题 14、16 ES第24节练习 4	待定
	1-4: 基本的算法结构	理解基本的算法结构：顺序、分支、循环、子程序、递归 理解程序最基本单元的正确性概念	DH第2章第 1、2 单元 Go To Statement Considered Harmful (Dijkstra CACM 1968)	基本结构的组合方式及其正确性	DH第2章练习 2、5、7、8	待定
	1-5: 数据与数据结构	理解数据在计算机问题求解中的核心作用 通过例子理解几种常用的数据结构	DH第2章第 3、4 单元	有结构的数据对于计算以及算法设计的影响	DH第2章练习 11、12、13、15	待定
	1-6: 如何将算法告诉计算机	理解程序设计语言的基本概念 了解程序在计算机中的执行方式	DH第3章第1单元	程序设计语言如何体现算法的基本要素与结构	无	待定
	1-7: 不同的程序设计方法	了解不同的程序设计方法：函数式、命令式、对象式、逻辑式	DH第3章第2、3单元	为什么会出现不同的风范	无	待定
	1-8: 集合及其运算	掌握集合的基本概念以及基本数学性质 进一步巩固数学证明能力	UD第6、7、8、9章	集合语言是形式化方法的基础，也是算法问题表述的基本手段	UD第6章问题 16 UD第7章问题 1(16,19)、9 UD第8章问题 1、4、8 UD第9章问题 2、4、13、14(a)、16	待定
	1-9: 关系及其基本性质	掌握关系的概念与基本数学性质 理解等价关系与次序关系的数学性质 进一步巩固数学证明能力	UD第10、11、12章	对象及其相互之间的关系是所有数学建模的核心概念	UD第10章问题 4、8 UD第11章问题 3、7、9 UD第12章问题 13	待定
	1-10: 函数	从问题求解的角度理解函数的概念及其重要的数学性质 熟悉函数表述方式	UD第14、15、16章	映射与计算机问题求解 --- 从问题空间到解空间	UD第13章问题 3(g)、4、11、13 UD第14章问题 12、15 UD第15章问题 11、12、14、20 UD第16章问题 19、20、21	待定
	1-11: 有限与无限	理解无限集合的重要数学性质，理解可数与不可数的差别 理解有限过程与无限过程的概念与差别	UD第20、21、22章	如何比较无限集合的大小	UD第20章问题 10 UD第21章问题 16、17、18、19 UD第22章问题 1(b)、2(e)、3、9	待定
	1-12: 偏序关系和格	理解集合上的序关系 理解格的基本概念 理解偏序集与格的联系与区别	SM第14章	如何定义集合中元素的“序”	SM第14章 62(修改为 only one isomorphic mapping)、70、75	待定
	1-13: 布尔代数	理解布尔代数基本概念 理解布尔代数与格的联系与区别 布尔代数表达式的化简	SM第15章	布尔代数	证明等势且有穷的布尔代数均同构。 (选做) 举例说明等势但无穷的布尔代数不一定同构。	待定