“2012级--学期安排 (第一学期)”的版本间的差异
来自问题求解
（以“==基本要求== <ul> <li>理解计算思维最核心的概念，了解计算的基本方法与局限。</li> <li>接受基本的形式化训练，掌握抽象...”为内容创建页面） |
小 （Admin移动2012级--学习周历 (第一学期)页面至2012级--学期安排 (第一学期)，不留重定向） |
（没有差异）
| |
2012年9月24日 (一) 10:43的版本
基本要求
- 理解计算思维最核心的概念，了解计算的基本方法与局限。
- 接受基本的形式化训练，掌握抽象数学证明的基本方法。
注意：程序设计能力要求贯穿于整个课程，不再单列。
指定教材
- DH: David Harel et al.: Algorithmics - The Spirit of Computing, 3rd ed. Addison-Wesley, 2004
- ES: Edward Scheinerman: Mathematics - A Discrete Introduction, 2nd ed. Brooks/Cole, 2005 (第24节：鸽巢原理)
- UD: Ulrich Daepp et al.: Reading, Writing, and Proving - A Closer Look at Mathematics, 1st ed. Springer, 2003
- 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
