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

• 1-0：计算思维引导

• Computational Thinking: What and Why?.pdf

• 1-1：为什么计算机能解题

• 理解问题求解的基本过程
• 理解计算机中简单操作为什么能解决复杂问题

• DH第1章
• UD第1章

• 简单操作能够解决各种复杂问题的关键是算法

• UD第1章问题 2、3、4、5、6、8

• 待定

2017-10-12

• 1-2：什么样的推理是正确的

• 掌握命题逻辑与谓词逻辑的基本推导方法

• UD第2、3、4章

• 计算机解题的关键是正确的推导
• 其正向是算法的设计，其反向是正确性证明

• UD第2章问题 1 (1)、5 (5)、6 (7)、7 (11)、8 (12)、10 (15)、11 (16)
• UD第3章问题 2 (3)、6 (10)、7 (11)、8 (12)、9 (13)、10 (14)、11 (15)
• UD第4章问题 1 (1)、5 (5)、7 (9)、9 (11)、13 (20)

• 待定

2017-10-19

• 1-3：常用的证明方法

• 掌握逻辑正确的常用证明方法

• UD第5、17章
• ES第24节

• 为什么这些方法在逻辑上是正确的？

• UD第5章问题 12 (5.21)、14 (5.24)
• UD第17章问题 11 (18.11)、13 (18.15)、14 (18.20)、16 (18.22)、18 (18.24)、19 (18.25)
• ES第24节练习 4、6、8

• 待定

2017-10-26

• 1-4: 基本的算法结构

• 理解基本的算法结构：顺序、分支、循环、子程序、递归
• 理解程序最基本单元的正确性概念

• DH第2章第 1、2 单元
• Go To Statement Considered Harmful (Dijkstra CACM 1968)

• 基本结构的组合方式及其正确性

• DH第2章练习 1、2、3、4、5、6、7、8

• 待定

2017-11-02

• 1-5: 数据与数据结构

• 理解数据在计算机问题求解中的核心作用
• 通过例子理解几种常用的数据结构

• DH第2章第 3、4 单元

• 有结构的数据对于计算以及算法设计的影响

• DH第2章练习 10、11、12、13、14、15、16

• 待定

2017-11-09

• 1-6: 如何将算法告诉计算机

• 理解程序设计语言的基本概念
• 了解程序在计算机中的执行方式

• DH第3章第1单元

• 程序设计语言如何体现算法的基本要素与结构

• 写出你现在用的 C++ 语言的算术表达式的完整严格的文法

• 待定

2017-11-16

• 1-7: 不同的程序设计方法

• 了解不同的程序设计方法：函数式、命令式、对象式、逻辑式

• DH第3章第2、3单元

• 为什么会出现不同的风范

• 在网上查一下，什么是 scripting language，它们和 C++ 这样的程序设计语言有什么不同？
• 用 Prolog 语言编写 Tower of Hanoi 问题求解程序。
• (第三道题目待定，陶老师正在考虑)

• 待定