“2019级--学期安排 (第一学期)”的版本间的差异
来自问题求解
(→学习周历) |
(→学习周历) |
||
第28行: | 第28行: | ||
| style="width: 75px;" | 2019-??-?? | | style="width: 75px;" | 2019-??-?? | ||
| | | | ||
− | * [[Media:0-计算思维引导.pptx | 1-0:计算思维引导]] | + | * [[Media:0-计算思维引导.pptx | 1-0:计算思维引导]] (old) |
| | | | ||
| | | | ||
第38行: | 第38行: | ||
| 2019-??-?? | | 2019-??-?? | ||
| | | | ||
− | * [[Media:Lecture1-1 计算机为什么能解题.ppt | 1-1:为什么计算机能解题]] | + | * [[Media:Lecture1-1 计算机为什么能解题.ppt | 1-1:为什么计算机能解题]] (old) |
| | | | ||
* 理解问题求解的基本过程 | * 理解问题求解的基本过程 | ||
第55行: | 第55行: | ||
2019-??-?? | 2019-??-?? | ||
| | | | ||
− | * [[media:1-2什么样的推理是正确的.pptx|1-2:什么样的推理是正确的]] | + | * [[media:1-2什么样的推理是正确的.pptx|1-2:什么样的推理是正确的]] (old) |
| | | | ||
* 掌握命题逻辑与谓词逻辑的基本推导方法 | * 掌握命题逻辑与谓词逻辑的基本推导方法 |
2019年9月9日 (一) 15:35的版本
基本要求
- 理解计算思维最核心的概念,了解计算的基本方法与局限。
- 接受基本的形式化训练,掌握抽象数学证明的基本方法。
- 程序设计能力。
指定教材
- 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-??-?? |
|
|
|
|
|