“2017级--学期安排 (第一学期)”的版本间的差异
来自问题求解
小 (→学习周历) |
(→推荐课外读物) |
||
(未显示2个用户的20个中间版本) | |||
第8行: | 第8行: | ||
* '''DH''': David Harel et al.: [[Media:Algorithmics-the_Spirit_of_Computing,_3rd_by_David_Harel.pdf | Algorithmics - The Spirit of Computing]], 3rd ed. Addison-Wesley, 2004 | * '''DH''': David Harel et al.: [[Media:Algorithmics-the_Spirit_of_Computing,_3rd_by_David_Harel.pdf | Algorithmics - The Spirit of Computing]], 3rd ed. Addison-Wesley, 2004 | ||
− | * '''UD''': Ulrich Daepp et al.: [[Media:2011 Reading, Writing, and Proving - A Closer Look at Mathematics.pdf | Reading, Writing, and Proving - A Closer Look at Mathematics]], 2nd ed. Springer, | + | * '''UD''': Ulrich Daepp et al.: [[Media:2011 Reading, Writing, and Proving - A Closer Look at Mathematics.pdf | Reading, Writing, and Proving - A Closer Look at Mathematics]], 2nd ed. Springer, 2010 |
* '''ES''': Edward Scheinerman: [[Media:Mathematics_A_Discrete_Introduction_(Edward_Scheinerman).pdf | Mathematics - A Discrete Introduction]], 2nd ed. Brooks/Cole, 2005 (第24节:鸽巢原理) | * '''ES''': Edward Scheinerman: [[Media:Mathematics_A_Discrete_Introduction_(Edward_Scheinerman).pdf | Mathematics - A Discrete Introduction]], 2nd ed. Brooks/Cole, 2005 (第24节:鸽巢原理) | ||
− | * ''' | + | * '''SM''': Seymour Lipschutz and Marc Lipson: [[Media:Schaum's_Outlines_-_Discrete_Mathematics,_3rd_Ed._by_Seymour_Lipschutz.pdf | Theory and Problems of Discrete Mathematics]], 3rd ed. |
==推荐课外读物== | ==推荐课外读物== | ||
− | * | + | ==寒假补课== |
+ | * [[2017级--学期安排 (第一学期 寒假补课)|2017级问题求解第一学期 寒假补课安排]] | ||
==学习周历== | ==学习周历== | ||
第184行: | 第185行: | ||
2017-11-30 | 2017-11-30 | ||
| | | | ||
− | * 1-9: 关系及其基本性质 | + | * [[media:2017计算机问题求解论题1-9.pptx |1-9: 关系及其基本性质]] |
| | | | ||
* 掌握关系的概念与基本数学性质 | * 掌握关系的概念与基本数学性质 | ||
第204行: | 第205行: | ||
2017-12-07 | 2017-12-07 | ||
| | | | ||
− | * 1-10: 函数 | + | * [[media:2017计算机问题求解-论题1-10.pptx |1-10: 函数]] |
| | | | ||
* 从问题求解的角度理解函数的概念及其重要的数学性质 | * 从问题求解的角度理解函数的概念及其重要的数学性质 | ||
第218行: | 第219行: | ||
* 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 | ||
+ | | | ||
+ | * 待定 | ||
+ | |- | ||
+ | | | ||
+ | 2017-12-14 | ||
+ | | | ||
+ | * [[media:2017计算机问题求解-论题1-11.pptx|1-11: 有限与无限]] | ||
+ | | | ||
+ | * 理解无限集合的重要数学性质,理解可数与不可数的差别 | ||
+ | * 理解有限过程与无限过程的概念与差别 | ||
+ | * 理解测度空间的基本概念 | ||
+ | | | ||
+ | * UD第20、21、22、23章 | ||
+ | | | ||
+ | * 如何比较无限集合的大小 | ||
+ | | | ||
+ | (纸质版) | ||
+ | * UD第20章问题 4、8、9、10 | ||
+ | * UD第21章问题 7、9、10、11、16、17、18、19 | ||
+ | * UD第22章问题 1、2、3、6、9 | ||
+ | * UD第23章问题 2、3、10 | ||
+ | | | ||
+ | * 待定 | ||
+ | |- | ||
+ | | | ||
+ | 2017-12-21 | ||
+ | | | ||
+ | * [[media:2017计算机问题求解-论题1-12.pptx|1-12: 偏序关系和格]] | ||
+ | | | ||
+ | * 理解集合上的序关系 | ||
+ | * 理解格的基本概念 | ||
+ | * 理解偏序集与格的联系与区别 | ||
+ | | | ||
+ | * SM第14章 | ||
+ | | | ||
+ | * 如何定义集合中元素的“序” | ||
+ | | | ||
+ | * SM第14章 32、44、46、58、62(修改为only one isomorphic mapping)、66、70、75 | ||
+ | | | ||
+ | * 待定 | ||
+ | |- | ||
+ | | | ||
+ | 2017-12-28 | ||
+ | | | ||
+ | * [[Media:计算机问题求解-论题1-13-布尔代数.pptx|1-13: 布尔代数]] | ||
+ | | | ||
+ | * 理解布尔代数基本概念 | ||
+ | * 理解布尔代数与格的联系与区别 | ||
+ | * 布尔代数表达式的化简 | ||
+ | | | ||
+ | * SM第15章 | ||
+ | | | ||
+ | * 布尔代数 | ||
+ | | | ||
+ | * 证明布尔代数是有界有补分配格,有界有补分配格是布尔代数 | ||
+ | * 证明SM定理15.6 | ||
+ | * 证明等势(有穷)的布尔代数均同构 | ||
| | | | ||
* 待定 | * 待定 | ||
|} | |} |
2019年9月2日 (一) 20:07的最新版本
基本要求
- 理解计算思维最核心的概念,了解计算的基本方法与局限。
- 接受基本的形式化训练,掌握抽象数学证明的基本方法。
- 程序设计能力。
指定教材
- 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.
推荐课外读物
寒假补课
学习周历
日期 | 论题 | 学习目的 | 阅读材料 | 引导要点 | 书面作业 | 编程任务 |
---|---|---|---|---|---|---|
2017-09-25 | ||||||
2017-09-28 |
|
|
|
|
| |
2017-10-12 |
|
|
|
纸质版 (电子版)
|
| |
2017-10-19 |
|
|
|
纸质版 (电子版)
|
| |
2017-10-26 |
|
|
|
|
| |
2017-11-02 |
|
|
|
|
| |
2017-11-09 |
|
|
|
|
| |
2017-11-20 |
|
|
|
|
| |
2017-11-23 |
|
|
|
(纸质版)
|
| |
2017-11-30 |
|
|
|
(纸质版)
|
| |
2017-12-07 |
|
|
|
(纸质版)
|
| |
2017-12-14 |
|
|
|
(纸质版)
|
| |
2017-12-21 |
|
|
|
|
| |
2017-12-28 |
|
|
|
|
|