“2018级--学期安排 (第一学期)”的版本间的差异

2018年9月14日 (五) 12:42的版本

基本要求

• 理解计算思维最核心的概念，了解计算的基本方法与局限。
• 接受基本的形式化训练，掌握抽象数学证明的基本方法。

注意：程序设计能力要求贯穿于整个课程，不再单列。

指定教材

• 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-Verlag, 2011
• ES: Edward Scheinerman: Mathematics - A Discrete Introduction, 2nd ed. Brooks/Cole, 2005 (第24节：鸽巢原理)
• WS: Walter Savitch: Problem Solving with C++, 9th ed. Pearson, 2015

推荐课外读物

• Tony Hey et al.: The Computing Universe: A Journey Through a Revolution. Cambridge University Press, 2015

学习周历

注意：以下日期不是指上课时间，而是以“周”为单位的学习任务分配时间，特别是由于国庆节、元旦等假期影响，上课时间可能会有微调，但任务周期不受影响。