“2019级--学期安排 (第一学期)”的版本间的差异
来自问题求解
(→学习周历) |
|||
第4行: | 第4行: | ||
* 接受基本的形式化训练,掌握抽象数学证明的基本方法。 | * 接受基本的形式化训练,掌握抽象数学证明的基本方法。 | ||
* [[程序设计基础辅导|程序设计能力]]。 | * [[程序设计基础辅导|程序设计能力]]。 | ||
+ | |||
+ | == 考核方法 == | ||
+ | 以下考核方法可能会有变动。 | ||
+ | |||
+ | 所有形式的考核,均不准抄袭。 | ||
+ | |||
+ | * 作业 (10%) | ||
+ | * OJ (10%) | ||
+ | * Open topics (10%) | ||
+ | ** 成绩: A (10), B (8), C (6) 三档 | ||
+ | ** 每人至少做一次 | ||
+ | ** 做多次报告,取最高分 | ||
+ | ** 不做计 0 分 | ||
+ | * 期末: (70%) | ||
+ | ** 机试 (20%) | ||
+ | ** 笔试 (50%) | ||
==指定教材== | ==指定教材== |
2019年9月9日 (一) 16:08的版本
基本要求
- 理解计算思维最核心的概念,了解计算的基本方法与局限。
- 接受基本的形式化训练,掌握抽象数学证明的基本方法。
- 程序设计能力。
考核方法
以下考核方法可能会有变动。
所有形式的考核,均不准抄袭。
- 作业 (10%)
- OJ (10%)
- Open topics (10%)
- 成绩: A (10), B (8), C (6) 三档
- 每人至少做一次
- 做多次报告,取最高分
- 不做计 0 分
- 期末: (70%)
- 机试 (20%)
- 笔试 (50%)
指定教材
- 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-??-?? |
|
|
|
|