第一章计算思维及其教育

1.1 计算思维及其教育

第一章测试

第二章计算及其本质特征

2.1 计算是什么

2.2 计算与自动计算

2.3 计算机及其计算本质特征（Ⅰ）

2.4 计算及计算的本质特征（II）

第二章测试

第三章计算理论（技术）基础

3.1 数的表示与模拟计算

3.2 数的表示与数字计算

3.3 二进制加法运算的机器化

3.4 “九九归一”的加法运算

3.5 二进制之优越性及问题与代价

第三章测试

第四章认识计算机

4.1 从数学危机到图灵机

4.2 图灵机的计算能力

4.3 什么问题都能计算吗

4.4 冯诺依曼机及其演化与发展

4.5 从算盘到图灵机——机械计算的本质

4.6 电子计算机——透过现象看本质

第四章测试

第五章思维可计算吗

5.1 思维可机械计算吗（Ⅰ）

5.2 思维可机械计算吗（II）

第五章测试

第六章量子论与量子计算机

6.1 量子论

6.2 量子计算机

第六章测试

第七章计算思维之方法学

7.1 人类求解问题之过程

7.2 基于计算机（的）问题求解过程

7.3 面向过程的结构化设计方法学

7.4 面向对象之方法学

7.5 面向对象技术

7.6 抽象

7.7 计算学科中的抽象

7.8 时间与空间及其相互转换

7.9 技术层面的其他方法学

7.10 认知层面的其他方法学

第七章测试

第八章计算思维之算法基础

8.1 算法与程序

8.2 算法设计算法——枚举

8.3 算法设计方法——递推

8.4 算法设计方法——递归

8.5 算法设计方法——分治

8.6 算法设计方法—仿生

第八章测试

第九章 面向计算之问题求解思想与方法（上）

9.1 有趣的对称加密技术

9.2 难解的非对称加密技术

9.3 数字签名及其应用

9.4 从自然智能到人工智能

9.5 符号主义的基本思想

9.6 连接主义I

9.7 连接主义II

9.8 行为主义的基本思想

9.9 机器翻译的愿景与困难

第九章（上）测试

第九章面向计算之问题求解思想与方法（下）

9.10 峰回路转的自然语言处理

9.11 信息传输中的问题与挑战

9.12 重复传输与冗余编码

9.13 校验与校验和

9.14 自纠错技术及应用

9.15 两种简单的数据压缩方法

9.16 哈夫曼编码及其思想与方法

9.17 数据压缩的极限与LZ压缩方法

9.18 大海捞针的搜索引擎

9.19 网页排序方法

第九章（下）测试

第十章基于计算之问题求解的思想与方法

10.1 大事化小，小事化了——有限元计算

10.2 千年求精，万年求真——科学计算与圆周率π

10.3 赌城之名，绝妙之法——蒙特•卡罗法

10.4 万事俱备，不欠东风—数值天气预报

10.5 土木建筑，虚拟现实——BIM

10.6 计算文化

第十章测试