“2019级--学期安排 (第一学期)”的版本间的差异
来自问题求解
(→学习周历) |
|||
第26行: | 第26行: | ||
! 编程任务 | ! 编程任务 | ||
|- | |- | ||
− | | style="width: 75px;" | | + | | style="width: 75px;" | 2019-??-?? |
| | | | ||
* [[Media:0-计算思维引导.pptx | 1-0:计算思维引导]] | * [[Media:0-计算思维引导.pptx | 1-0:计算思维引导]] | ||
第36行: | 第36行: | ||
| | | | ||
|- | |- | ||
− | | | + | | 2019-??-?? |
| | | | ||
* [[Media:Lecture1-1 计算机为什么能解题.ppt | 1-1:为什么计算机能解题]] | * [[Media:Lecture1-1 计算机为什么能解题.ppt | 1-1:为什么计算机能解题]] | ||
第53行: | 第53行: | ||
|- | |- | ||
| | | | ||
− | + | 2019-??-?? | |
| | | | ||
* [[media:1-2什么样的推理是正确的.pptx|1-2:什么样的推理是正确的]] | * [[media:1-2什么样的推理是正确的.pptx|1-2:什么样的推理是正确的]] | ||
第72行: | 第72行: | ||
|- | |- | ||
| | | | ||
− | + | 2019-??-?? | |
| | | | ||
* [[media:1-3常用证明方法.pptx |1-3:常用的证明方法]] | * [[media:1-3常用证明方法.pptx |1-3:常用的证明方法]] | ||
第91行: | 第91行: | ||
|- | |- | ||
| | | | ||
− | + | 2019-??-?? | |
| | | | ||
* [[media:1-4算法的基本结构.pptx |1-4: 基本的算法结构]] | * [[media:1-4算法的基本结构.pptx |1-4: 基本的算法结构]] | ||
第108行: | 第108行: | ||
|- | |- | ||
| | | | ||
− | + | 2019-??-?? | |
| | | | ||
* [[Media:1-5-数据与数据结构.pptx |1-5: 数据与数据结构]] | * [[Media:1-5-数据与数据结构.pptx |1-5: 数据与数据结构]] | ||
第124行: | 第124行: | ||
|- | |- | ||
| | | | ||
− | + | 2019-??-?? | |
| | | | ||
* [[Media:1-6-如何将算法告诉计算机.pptx | 1-6: 如何将算法告诉计算机]] | * [[Media:1-6-如何将算法告诉计算机.pptx | 1-6: 如何将算法告诉计算机]] | ||
第140行: | 第140行: | ||
|- | |- | ||
| | | | ||
− | + | 2019-??-?? | |
| | | | ||
* [[Media:计算机问题求解-论题1-7-不同的程序设计方法.pptx|1-7: 不同的程序设计方法]] | * [[Media:计算机问题求解-论题1-7-不同的程序设计方法.pptx|1-7: 不同的程序设计方法]] | ||
第161行: | 第161行: | ||
|- | |- | ||
| | | | ||
− | + | 2019-??-?? | |
| | | | ||
* [[media:计算机问题求解-论题1-8.pptx |1-8: 集合及其运算]] | * [[media:计算机问题求解-论题1-8.pptx |1-8: 集合及其运算]] | ||
第181行: | 第181行: | ||
|- | |- | ||
| | | | ||
− | + | 2019-??-?? | |
| | | | ||
− | * [[media: | + | * [[media:2019计算机问题求解论题1-9.pptx |1-9: 关系及其基本性质]] |
| | | | ||
* 掌握关系的概念与基本数学性质 | * 掌握关系的概念与基本数学性质 | ||
第201行: | 第201行: | ||
|- | |- | ||
| | | | ||
− | + | 2019-??-?? | |
| | | | ||
− | * [[media: | + | * [[media:2019计算机问题求解-论题1-10.pptx |1-10: 函数]] |
| | | | ||
* 从问题求解的角度理解函数的概念及其重要的数学性质 | * 从问题求解的角度理解函数的概念及其重要的数学性质 | ||
第221行: | 第221行: | ||
|- | |- | ||
| | | | ||
− | + | 2019-??-?? | |
| | | | ||
− | * [[media: | + | * [[media:2019计算机问题求解-论题1-11.pptx|1-11: 有限与无限]] |
| | | | ||
* 理解无限集合的重要数学性质,理解可数与不可数的差别 | * 理解无限集合的重要数学性质,理解可数与不可数的差别 | ||
第242行: | 第242行: | ||
|- | |- | ||
| | | | ||
− | + | 2019-??-?? | |
| | | | ||
− | * [[media: | + | * [[media:2019计算机问题求解-论题1-12.pptx|1-12: 偏序关系和格]] |
| | | | ||
* 理解集合上的序关系 | * 理解集合上的序关系 | ||
第259行: | 第259行: | ||
|- | |- | ||
| | | | ||
− | + | 2019-??-?? | |
| | | | ||
* [[Media:计算机问题求解-论题1-13-布尔代数.pptx|1-13: 布尔代数]] | * [[Media:计算机问题求解-论题1-13-布尔代数.pptx|1-13: 布尔代数]] |
2019年9月9日 (一) 15:34的版本
基本要求
- 理解计算思维最核心的概念,了解计算的基本方法与局限。
- 接受基本的形式化训练,掌握抽象数学证明的基本方法。
- 程序设计能力。
指定教材
- 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-??-?? |
|
|
|
|
|