“2017级--学期安排 (第一学期)”的版本间的差异
来自问题求解
(→学习周历) |
(→学习周历: +1-3: 常用的证明方法) |
||
第49行: | 第49行: | ||
* 简单操作能够解决各种复杂问题的关键是算法 | * 简单操作能够解决各种复杂问题的关键是算法 | ||
| | | | ||
− | * | + | * UD第1章问题 2、3、4、5、6、8 |
| | | | ||
* 待定 | * 待定 | ||
第65行: | 第65行: | ||
* 其正向是算法的设计,其反向是正确性证明 | * 其正向是算法的设计,其反向是正确性证明 | ||
| | | | ||
− | * | + | * UD第2章问题 1、5、6、7、8、10、11 |
− | * | + | * UD第3章问题 2、6、7、8、9、10、11 |
− | * | + | * UD第4章问题 1、5、7、9、13 |
+ | | | ||
+ | * 待定 | ||
+ | |- | ||
+ | | | ||
+ | 2017-10-19 | ||
+ | | | ||
+ | * 1-3:常用的证明方法 | ||
+ | | | ||
+ | * 掌握逻辑正确的常用证明方法 | ||
+ | | | ||
+ | * UD第5、17章 | ||
+ | * ES第24节 | ||
+ | | | ||
+ | * 为什么这些方法在逻辑上是正确的? | ||
+ | | | ||
+ | * UD第5章问题 12、14 | ||
+ | * UD第17章问题 11、13、14、16、18、19 | ||
| | | | ||
* 待定 | * 待定 | ||
|} | |} |
2017年10月11日 (三) 12:41的版本
基本要求
- 理解计算思维最核心的概念,了解计算的基本方法与局限。
- 接受基本的形式化训练,掌握抽象数学证明的基本方法。
- 程序设计能力。
指定教材
- 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, 1st ed. Springer, 2003
- ES: Edward Scheinerman: Mathematics - A Discrete Introduction, 2nd ed. Brooks/Cole, 2005 (第24节:鸽巢原理)
- WS: Walter Savitch: Problem Solving with C++, 7th ed. Addison Wesley, 2008
推荐课外读物
- 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 |
|
|
|
|
|
|