|
|
| 第245行： |
第245行： |
| | * 布尔代数 | | * 布尔代数 |
| | | | | | |
| − | * 证明等势且有穷的布尔代数均同构; 举例说明等势但无穷的布尔代数不一定同构。 | + | * 证明等势且有穷的布尔代数均同构。 |
| | + | * (选做) 举例说明等势但无穷的布尔代数不一定同构。 |
| | | | | | |
| | * 待定 | | * 待定 |
| | |} | | |} |
| 日期
|
论题
|
学习目的
|
阅读材料
|
引导要点
|
书面作业
|
编程任务
|
| 2018-02-@@
|
|
|
|
|
|
|
|
|
|
- 理解问题求解的基本过程
- 理解计算机中简单操作为什么能解决复杂问题
|
|
|
|
|
|
|
|
|
|
- 计算机解题的关键是正确的推导
- 其正向是算法的设计，其反向是正确性证明
|
- 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)
|
|
|
|
|
|
|
|
- UD第17章问题 14、16
- ES第24节练习 4
|
|
|
|
|
- 理解基本的算法结构：顺序、分支、循环、子程序、递归
- 理解程序最基本单元的正确性概念
|
|
|
|
|
|
|
|
- 理解数据在计算机问题求解中的核心作用
- 通过例子理解几种常用的数据结构
|
|
|
|
|
|
|
|
- 理解程序设计语言的基本概念
- 了解程序在计算机中的执行方式
|
|
|
|
|
|
|
|
- 了解不同的程序设计方法：函数式、命令式、对象式、逻辑式
|
|
|
|
|
|
|
|
- 掌握集合的基本概念以及基本数学性质
- 进一步巩固数学证明能力
|
|
- 集合语言是形式化方法的基础，也是算法问题表述的基本手段
|
- UD第6章问题 16
- UD第7章问题 1(16,19)、9
- UD第8章问题 1、4、8
- UD第9章问题 2、4、13、14(a)、16
|
|
|
|
|
- 掌握关系的概念与基本数学性质
- 理解等价关系与次序关系的数学性质
- 进一步巩固数学证明能力
|
|
|
- UD第10章问题 4、8
- UD第11章问题 3、7、9
- UD第12章问题 13
|
|
|
|
|
- 从问题求解的角度理解函数的概念及其重要的数学性质
- 熟悉函数表述方式
|
|
|
- UD第13章问题 3(g)、4、11、13
- UD第14章问题 12、15
- UD第15章问题 11、12、14、20
- UD第16章问题 19、20、21
|
|
|
|
|
- 理解无限集合的重要数学性质，理解可数与不可数的差别
- 理解有限过程与无限过程的概念与差别
|
|
|
- UD第20章问题 10
- UD第21章问题 16、17、18、19
- UD第22章问题 1(b)、2(e)、3、9
|
|
|
|
|
- 理解集合上的序关系
- 理解格的基本概念
- 理解偏序集与格的联系与区别
|
|
|
- SM第14章 62(修改为 only one isomorphic mapping)、70、75
|
|
|
|
|
- 理解布尔代数基本概念
- 理解布尔代数与格的联系与区别
- 布尔代数表达式的化简
|
|
|
- 证明等势且有穷的布尔代数均同构。
- (选做) 举例说明等势但无穷的布尔代数不一定同构。
|
|
