“2017级--学期安排 (第一学期)”的版本间的差异
来自问题求解
(→学习周历) |
(→推荐课外读物) |
||
(未显示同一用户的11个中间版本) | |||
第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. | * '''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级问题求解第一学期 寒假补课安排]] | ||
==学习周历== | ==学习周历== | ||
第256行: | 第256行: | ||
* 如何定义集合中元素的“序” | * 如何定义集合中元素的“序” | ||
| | | | ||
− | * SM第14章 | + | * SM第14章 32、44、46、58、62(修改为only one isomorphic mapping)、66、70、75 |
| | | | ||
* 待定 | * 待定 | ||
第263行: | 第263行: | ||
2017-12-28 | 2017-12-28 | ||
| | | | ||
− | * 1-13: 布尔代数 | + | * [[Media:计算机问题求解-论题1-13-布尔代数.pptx|1-13: 布尔代数]] |
| | | | ||
* 理解布尔代数基本概念 | * 理解布尔代数基本概念 | ||
第275行: | 第275行: | ||
* 证明布尔代数是有界有补分配格,有界有补分配格是布尔代数 | * 证明布尔代数是有界有补分配格,有界有补分配格是布尔代数 | ||
* 证明SM定理15.6 | * 证明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 |
|
|
|
|
|