计算机科学导论(第2版)
本书从计算思维角度讲解计算机科学导论,有徐志伟教授编写,第一版得到很多高校认可。提供课件、咨询QQ:2301891038(仅限教师)。

作者:徐志伟 孙晓明

定价:69.8元

印次:2-1

ISBN:9787302663782

出版日期:2024.06.01

印刷日期:2024.06.03

图书责编:杨帆

图书分类:教材

电子书
在线购买
分享
内容简介
作者简介
前言序言
资源下载
查看详情 查看详情 查看详情

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

徐志伟,1982年获成都电讯工程学院学士学位,1984年获普度大学硕士学位,1987年南加州大学博士学位。现任中科院计算所研究员、学术委员会主任,中国科学院大学教授,教育部大学计算机基础指导委员会委员。主要学科方向为高性能计算机体系结构和网络计算系统。2001年以来,曾任国家自然科学基金委信息科学部专家咨询委员会委员,欧盟 “网格操作系统”重大项目专家组成员,科技部十二五“中国云”专项专家组成员

前言Foreword 本书以计算思维为主线介绍计算机科学的入门知识,主要针对一年级本科生的“大学计算机基础”“计算机科学导论”“计算概论”课程。本书的撰写和修订过程考虑了全球发展趋势与中国的实际情况,具备下述4个特点。 (1) 强调计算思维。本书试图突出计算机科学最本质的特征: 计算机科学是研究计算过程的科学,计算过程是通过操作数字符号变换信息的过程。最本质的解决问题方法是计算思维,包括逻辑思维、算法思维、系统思维和网络思维。 (2) 强调基础知识。本书并不追求覆盖众多新概念,而是突出计算机科学不过时的最基础的入门知识点,并将它们组织成对计算思维的10种理解: 自动执行、正确性、通用性、构造性、复杂度、抽象化、模块化、无缝衔接、连通性、协议栈。 (3) 鼓励主动学习。本书的设计鼓励学生主动学习,但教师讲解与课堂互动有利于揭示要点难点、提高学习效率。本书还提供了动手动脑的课程实验,对应于逻辑思维、算法思维、系统思维和网络思维4部分内容。 (4) 鼓励胜任力教育。本书参考了ACM/IEEECS在2021年发布的《计算课程体系规范》(CC2020)。为了实践CC2020倡导的胜任力教育理念,本书实践了“高德纳测试”,并花了不少篇幅讲解计算机领域的真实创新故事,让同学们了解前人如何通过计算思维认识世界、提出问题、解决问题。 一、 致谢 本书的构思、写作、实践优化持续了10年,主要的难点是如何体现计算思维。作者要感谢北京大学李晓明教授,他多年来一直鼓励和敦促我们写一本计算机科学导论教科书。感谢时任美国国家科学基金会副主任的周以真(Jeannette Wing)...

课件下载

样章下载

暂无网络资源

扫描二维码
下载APP了解更多

目录
荐语
查看详情 查看详情
目录Contents第1章计算机科学概貌1

1.1计算机科学领域现状1

1.2计算机科学的发展脉络8

1.2.1巴贝奇问题——如何构建计算机9

1.2.2布什问题——如何使用计算机11

1.2.3图灵问题——如何构建智能应用13

1.2.4计算机科学的3个奇妙之处17

1.3计算思维的特征22

1.3.1离散化与数字化22

1.3.2计算机的冯·诺依曼模型24

1.3.3计算机科学解题思路26

1.3.4对计算思维的10种理解38

1.4科学计算的创新故事43

1.4.1地球系统数值模拟的创新故事43

1.4.2蛋白质结构预测的创新故事44

1.5习题47

第2章程序的设计与执行50

2.1如何表示数和字符50

2.2初识计算机编程55

2.2.1编写第一个Go程序56

2.2.2初识数据类型59

2.2.3运算流与简单控制流62

2.2.4初识模块化编程66

2.3初识计算机设计73

2.3.1斐波那契计算机的硬件74

2.3.2斐波那契计算机的软件74

2.3.3斐波那契计算机的状态转移75

2.4计算机程序的创新故事852.4.1Ada的故事: 第一个计算机程序85

2.4.2霍尔悖论: 快速排序程序为什么难以理解88

2.5习题89

第3章逻辑思维94

3.1布尔逻辑94

3.1.1命题逻辑94

3.1.2谓词逻辑108

3.2图灵机模型110

3.2.1定理机器证明与吴方法110

3.2.2有穷自动机111

3.2.3图灵机112

3.2.4邱奇图灵论题117

3.2.5悖论与不完备定理1...

本书从计算思维角度深入讲解计算机科学的最基础的概念和入门知识,讨论计算思维的四种具体表现形式:计算逻辑思维、算法思维、网络思维、计算系统思维。除课堂授课材料外,本书还通过习题与大作业提供学生动手动脑的机会,通过讲述大量的创新故事培养学生的兴趣和职业素养。本书对应的课程设计适应32学时至64学时的“大学计算机基础”课程安排,教师可通过不同的裁减和深入讨论,适应不同的学时计划。习题与大作业的设计考虑了“大学计算机基础”课程学员较多的实际情况,提供了教学辅助的自动化工具。