“2019级--学期安排 (第一学期)”的版本间的差异
来自问题求解
(→学习周历) |
(→学习周历) |
||
第24行: | 第24行: | ||
! 引导要点 | ! 引导要点 | ||
! 书面作业 | ! 书面作业 | ||
− | |||
|- | |- | ||
| style="width: 75px;" | 2019-??-?? | | style="width: 75px;" | 2019-??-?? | ||
第49行: | 第48行: | ||
| | | | ||
* UD第1章问题 2、3、4、5、6、8 | * UD第1章问题 2、3、4、5、6、8 | ||
− | + | ||
− | |||
|- | |- | ||
| | | | ||
第68行: | 第66行: | ||
* UD第3章问题 2 (3)、6 (10)、7 (11)、8 (12)、9 (13)、10 (14)、11 (15) | * 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) | * UD第4章问题 1 (1)、5 (5)、7 (9)、9 (11)、13 (20) | ||
− | + | ||
− | |||
|- | |- | ||
| | | | ||
第87行: | 第84行: | ||
* UD第17章问题 11 (18.11)、13 (18.15)、14 (18.20)、16 (18.22)、18 (18.24)、19 (18.25) | * 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 | * ES第24节练习 4、6、8 | ||
− | + | ||
− | |||
|- | |- | ||
| | | | ||
第104行: | 第100行: | ||
| | | | ||
* DH第2章练习 1、2、3、4、5、6、7、8 | * DH第2章练习 1、2、3、4、5、6、7、8 | ||
− | + | ||
− | |||
|- | |- | ||
| | | | ||
第120行: | 第115行: | ||
| | | | ||
* DH第2章练习 10、11、12、13、14、15、16 | * DH第2章练习 10、11、12、13、14、15、16 | ||
− | + | ||
− | |||
|- | |- | ||
| | | | ||
第136行: | 第130行: | ||
| | | | ||
* 写出你现在用的 C++ 语言的算术表达式的完整严格的文法 | * 写出你现在用的 C++ 语言的算术表达式的完整严格的文法 | ||
− | + | ||
− | |||
|- | |- | ||
| | | | ||
第157行: | 第150行: | ||
** 样例:((20160226001 21000) (20160226002 19800)……) | ** 样例:((20160226001 21000) (20160226002 19800)……) | ||
** 可能用到的表操纵基本函数:first;rest | ** 可能用到的表操纵基本函数:first;rest | ||
− | + | ||
− | |||
|- | |- | ||
| | | | ||
第177行: | 第169行: | ||
* UD第8章问题 1、4、7、8、9、11 | * UD第8章问题 1、4、7、8、9、11 | ||
* UD第9章问题 2、4、12、13、14、16 | * UD第9章问题 2、4、12、13、14、16 | ||
− | + | ||
− | |||
|- | |- | ||
| | | | ||
第197行: | 第188行: | ||
* UD第11章问题 3、7、8、9 | * UD第11章问题 3、7、8、9 | ||
* UD第12章问题 10、13b、16、20、22、23 | * UD第12章问题 10、13b、16、20、22、23 | ||
− | + | ||
− | |||
|- | |- | ||
| | | | ||
第217行: | 第207行: | ||
* UD第15章问题 1、6、7、11、12、13、14、15、20 | * UD第15章问题 1、6、7、11、12、13、14、15、20 | ||
* UD第16章问题 19、20、21、22 | * UD第16章问题 19、20、21、22 | ||
− | + | ||
− | |||
|- | |- | ||
| | | | ||
第238行: | 第227行: | ||
* UD第22章问题 1、2、3、6、9 | * UD第22章问题 1、2、3、6、9 | ||
* UD第23章问题 2、3、10 | * UD第23章问题 2、3、10 | ||
− | + | ||
− | |||
|- | |- | ||
| | | | ||
第255行: | 第243行: | ||
| | | | ||
* SM第14章 32、44、46、58、62(修改为only one isomorphic mapping)、66、70、75 | * SM第14章 32、44、46、58、62(修改为only one isomorphic mapping)、66、70、75 | ||
− | + | ||
− | |||
|- | |- | ||
| | | | ||
第274行: | 第261行: | ||
* 证明SM定理15.6 | * 证明SM定理15.6 | ||
* 证明等势(有穷)的布尔代数均同构 | * 证明等势(有穷)的布尔代数均同构 | ||
− | + | ||
− | |||
|} | |} |
2019年9月9日 (一) 15:36的版本
基本要求
- 理解计算思维最核心的概念,了解计算的基本方法与局限。
- 接受基本的形式化训练,掌握抽象数学证明的基本方法。
- 程序设计能力。
指定教材
- 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, 2010
- ES: Edward Scheinerman: Mathematics - A Discrete Introduction, 2nd ed. Brooks/Cole, 2005 (第24节:鸽巢原理)
- SM: Seymour Lipschutz and Marc Lipson: Theory and Problems of Discrete Mathematics, 3rd ed.
推荐课外读物
学习周历
日期 | 论题 | 学习目的 | 阅读材料 | 引导要点 | 书面作业 | |
---|---|---|---|---|---|---|
2019-??-?? |
|
|||||
2019-??-?? |
|
|
|
|
| |
2019-??-?? |
|
|
|
|
纸质版 (电子版)
| |
2019-??-?? |
|
|
|
纸质版 (电子版)
| ||
2019-??-?? |
|
|
|
| ||
2019-??-?? |
|
|
|
| ||
2019-??-?? |
|
|
|
| ||
2019-??-?? |
|
|
|
| ||
2019-??-?? |
|
|
|
(纸质版)
| ||
2019-??-?? |
|
|
|
(纸质版)
| ||
2019-??-?? |
|
|
|
(纸质版)
| ||
2019-??-?? |
|
|
|
(纸质版)
| ||
2019-??-?? |
|
|
|
| ||
2019-??-?? |
|
|
|
|