本书以计算思维为主线介绍计算机科学的入门知识，主要针对一年级本科生的“计算机科学导论”“大学计算机基础”“计算概论”课程。全书共7章，主要内容包括计算机科学概貌、程序的设计与执行、逻辑思维、算法思维、系统思维、网络思维、计算机学科展望等。本书参考了计算思维的最新进展与ACM/IEEE-CS发布的《计算课程体系规范》（CC2020），更加系统地聚焦如何通过计算思维认识世界、提出问题、解决问题，内容的组织更加注意循序渐进地培养读者的创造性学习能力。
本书适合作为高等院校计算机科学与技术及相关专业的本科生教材，也可以作为计算思维爱好者的参考书。

徐志伟
1987年获南加州大学博士学位，现任中国科学院计算技术研究所研究员，中国科学院大学教授，大湾区大学讲席教授，Jounal of Compurter Science and Technology主编，《计算机研究与发展》主编。主要研究方向为高性能计算机体系结构、分布式系统、计算思维教育。曾获国家科学技术进步奖、中国科学院科技成就奖、中国计算机学会王选奖。曾任教育部“大学计算机基础”教学指导委员会委员。

第1章 计算机科学概貌
1.1 计算机科学领域现状
1.2 计算机科学的发展脉络
1.2.1 巴贝奇问题——如何构建计算机
1.2.2 布什问题——如何使用计算机
1.2.3 图灵问题——如何构建智能应用
1.2.4 计算机科学的3个奇妙之处
1.3 计算思维的特征
1.3.1 离散化与数字化
1.3.2 计算机的冯·诺依曼模型
1.3.3 计算机科学解题思路
1.3.4 对计算思维的10种理解
1.4 科学计算的创新故事
1.4.1 地球系统数值模拟的创新故事
1.4.2 蛋白质结构预测的创新故事
1.5 习题
第2章 程序的设计与执行
2.1 如何表示数和字符
2.2 初识计算机编程
2.2.1 编写第一个Go程序
2.2.2 初识数据类型
2.2.3 运算流与简单控制流
2.2.4 初识模块化编程
2.3 初识计算机设计
2.3.1 斐波那契计算机的硬件
2.3.2 斐波那契计算机的软件
2.3.3 斐波那契计算机的状态转移
2.4 计算机程序的创新故事
2.4.1 Ada的故事：第一个计算机程序
2.4.2 霍尔悖论：快速排序程序为什么难以理解
2.5 习题
第3章 逻辑思维
3.1 布尔逻辑
3.1.1 命题逻辑
3.1.2 谓词逻辑
3.2 图灵机模型
3.2.1 定理机器证明与吴方法
3.2.2 有穷自动机
3.2.3 图灵机
3.2.4 邱奇-图灵论题
3.2.5 悖论与不完备定理
3.3 计算逻辑的创新故事
3.3.1 布尔的故事
3.3.2 图灵的故事
3.4 习题
第4章 算法思维
4.1 什么是算法
4.2 算法思维的要点
4.2.1 分治算法范式
4.2.2 其他算法范式
4.3 算法的创新故事
4.3.1 算法复杂度的故事
4.3.2 平稳复杂度
4.4 习题
第5章 系统思维
5.1 系统思维一览
5.1.1 周到性
5.1.2 整体性
5.1.3 应对复杂性
5.2 抽象化
5.2.1 抽象三性质
5.2.2 数据抽象
5.2.3 文件与文件系统
5.2.4 控制抽象
5.2.5 模块抽象
5.2.6 (***)操作系统简介
5.3 模块化
5.3.1 逻辑门与组合电路
5.3.2 信息隐藏原理
5.3.3 时序电路
5.4 无缝衔接
5.4.1 扬雄周期原理
5.4.2 电路的无缝衔接：宽进严出原理实例
5.4.3 指令的无缝衔接：冯·诺依曼穷举原理实例
5.4.4 阿姆达尔定律
5.5 计算系统的创新故事
5.5.1 IBM S/360
5.5.2 关系数据库
5.6 习题
第6章 网络思维
6.1 初识互联网
6.1.1 初识万维网编程
6.1.2 网络名词术语
6.1.3 网络思维的价值
6.2 连通性
6.2.1 名字空间
6.2.2 网络拓扑
6.3 协议栈
6.3.1 分组交换
6.3.2 互联网协议栈
6.4 专业素养
6.4.1 性能意识
6.4.2 安全意识
6.4.3 专业规范
6.5 网络的创新故事
6.5.1 第一个计算机网络
6.5.2 因特网与万维网
6.5.3 大数据计算
6.5.4 臭虫与病毒
6.6 习题
第7章 计算机学科展望
7.1 学科研究对象与研究问题
7.1.1 研究对象
7.1.2 研究方法
7.1.3 格雷12问题
7.1.4 主要进步
7.2 学科演变与主要研究方向
7.2.1 学科演化树
7.2.2 计算机科学与技术
7.2.3 新型计算机
致谢
附录A 计算机科学技术中常用的倍数和分数
参考文献