查看“2017级--学期安排 (第一学期寒假补课)”的源代码

==寒假补课安排==

{| border=1
! 日期
! 论题
! 学习目的
! 阅读材料
! 引导要点
! 书面作业
! 编程任务
|-
| style="width: 75px;" | 2017-09-25
|
* [[Media:0-计算思维引导.pptx | 1-0：计算思维引导]]
|
|
* [[Media:Computational Thinking What and Why.pdf | Computational Thinking: What and Why?.pdf]]
|
|
|
|-
| 2017-09-28
|
* [[Media:Lecture1-1 计算机为什么能解题.ppt | 1-1：为什么计算机能解题]]
|
* 理解问题求解的基本过程
* 理解计算机中简单操作为什么能解决复杂问题
|
* DH第1章
* UD第1章
|
* 简单操作能够解决各种复杂问题的关键是算法
|
* UD第1章问题 5、8
|
* 待定
|-
|
2017-10-12
|
* [[media:1-2什么样的推理是正确的.pptx|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
|
* [[media:1-3常用证明方法.pptx ‎|1-3：常用的证明方法]]
|
* 掌握逻辑正确的常用证明方法
|
* UD第5、17章
* ES第24节
|
* 为什么这些方法在逻辑上是正确的？
|
纸质版 (电子版)
* UD第17章问题 14、16
* ES第24节练习 4
|
* 待定
|-
|
2017-10-26
|
* [[media:1-4算法的基本结构.pptx ‎|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章练习 2、5、7、8
|
* 待定
|-
|
2017-11-02
|
* [[Media:1-5-数据与数据结构.pptx |1-5: 数据与数据结构]]
|
* 理解数据在计算机问题求解中的核心作用
* 通过例子理解几种常用的数据结构
|
* DH第2章第 3、4 单元
|
* 有结构的数据对于计算以及算法设计的影响
|
* DH第2章练习 11、12、13、15
|
* 待定
|-
|
2017-11-23
|
* [[media:计算机问题求解-论题1-8.pptx ‎|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
|
* [[media:2017计算机问题求解论题1-9.pptx ‎|1-9: 关系及其基本性质]]
|
* 掌握关系的概念与基本数学性质
* 理解等价关系与次序关系的数学性质
* 进一步巩固数学证明能力
|
* UD第10、11、12章
|
* 对象及其相互之间的关系是所有数学建模的核心概念
|
(纸质版)
* UD第10章问题 4、8
* UD第11章问题 3、7、9
* UD第12章问题 13
|
* 待定
|-
|
2017-12-07
|
* [[media:2017计算机问题求解-论题1-10.pptx ‎|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
|
* [[media:2017计算机问题求解-论题1-11.pptx|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
|
* [[media:2017计算机问题求解-论题1-12.pptx|1-12: 偏序关系和格]]
|
* 理解集合上的序关系
* 理解格的基本概念
* 理解偏序集与格的联系与区别
|
* SM第14章
|
* 如何定义集合中元素的“序”
|
* SM第14章 62(修改为 only one isomorphic mapping)、70、75
|
* 待定
|-
|
2017-12-28
|
* [[Media:计算机问题求解-论题1-13-布尔代数.pptx|1-13: 布尔代数]]
|
* 理解布尔代数基本概念
* 理解布尔代数与格的联系与区别
* 布尔代数表达式的化简
|
* SM第15章
|
* 布尔代数
|
* 证明SM定理15.6
* 证明等势(有穷)的布尔代数均同构
|
* 待定
|}