“2017级--学期安排 (第一学期)”的版本间的差异
来自问题求解
（→学习周历） |
（→指定教材： +link） |
||
| 第7行： | 第7行： | ||
==指定教材== | ==指定教材== | ||
| − | * '''DH''': David Harel et al.: Algorithmics - The Spirit of Computing, 3rd ed. Addison-Wesley, 2004 | + | * '''DH''': David Harel et al.: [[Media:Algorithmics-the_Spirit_of_Computing,_3rd_by_David_Harel.pdf | 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 | + | * '''UD''': Ulrich Daepp et al.: [[Media:2011 Reading, Writing, and Proving - A Closer Look at Mathematics.pdf | 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节：鸽巢原理) | * '''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 | * '''WS''': Walter Savitch: Problem Solving with C++, 7th ed. Addison Wesley, 2008 | ||
2017年9月18日 (一) 21:37的版本
基本要求
- 理解计算思维最核心的概念，了解计算的基本方法与局限。
- 接受基本的形式化训练，掌握抽象数学证明的基本方法。
- 程序设计能力。
指定教材
- 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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
