“2017级--学期安排 (第一学期)”的版本间的差异
来自问题求解
(→学习周历: +1-12) |
(→学习周历: +1-13) |
||
第257行: | 第257行: | ||
| | | | ||
* SM第14章 32、44、46、58、62、66、70、75 | * SM第14章 32、44、46、58、62、66、70、75 | ||
+ | | | ||
+ | * 待定 | ||
+ | |- | ||
+ | | | ||
+ | 2017-12-28 | ||
+ | | | ||
+ | * 1-13: 布尔代数 | ||
+ | | | ||
+ | * 理解布尔代数基本概念 | ||
+ | * 理解布尔代数与格的联系与区别 | ||
+ | * 布尔代数表达式的化简 | ||
+ | | | ||
+ | * SM第15章 | ||
+ | | | ||
+ | * 布尔代数 | ||
+ | | | ||
+ | * 证明布尔代数是有界有补分配格,有界有补分配格是布尔代数 | ||
+ | * 证明SM定理15.6 | ||
+ | * 证明等势的布尔代数均同构 | ||
| | | | ||
* 待定 | * 待定 | ||
|} | |} |
2017年12月7日 (四) 17:06的版本
基本要求
- 理解计算思维最核心的概念,了解计算的基本方法与局限。
- 接受基本的形式化训练,掌握抽象数学证明的基本方法。
- 程序设计能力。
指定教材
- 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, 2003
- 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.
- WS: Walter Savitch: Problem Solving with C++, 9th ed. Addison Wesley, 2013
推荐课外读物
- Gary Shelly et al.: Discovering Computers 2011 - Living in a Digital World. Course Technology, 2011
学习周历
日期 | 论题 | 学习目的 | 阅读材料 | 引导要点 | 书面作业 | 编程任务 |
---|---|---|---|---|---|---|
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 |
|
|
|
|
|
|