基本信息
- 作者： [加]汤姆·詹金斯（Tom Jenkyns） 本·斯蒂芬森（Ben Stephenson）
- 译者： 董笑菊 常曦 薛建新
- 丛书名： 计算机科学丛书
- 出版社：机械工业出版社
- ISBN：9787111652267
- 上架时间：2020-5-12
- 出版日期：2020 年5月
- 开本：16开
- 页码：316
- 版次：1-1
- 所属分类：计算机 > 计算机科学理论与基础知识 > 计算理论 > 算法
编辑推荐
以问题求解为目标的面向计算机科学专业的离散数学教科书
内容简介
作译者
离散数学是现代数学的一个重要分支，更是计算机科学相关专业的一门重要专业基础课。通过该课程的学习，可以提高学生的抽象思维能力和逻辑推理能力。
本书聚焦于计算机科学相关专业，对离散数学的教学内容进行筛选，并采用问题求解的方式，自然引出算法设计和分析的内容，将计算机学科中基础的问题抽象能力、问题求解能力（算法设计能力）和算法分析能力的培养融汇于一门课程。
本书的翻译工作是在上海交通大学计算机科学与工程系副教授、图书馆副馆长董笑菊博士的主持下进行的，董笑菊博士负责翻译第1、9、10章，上海第二工业大学软件工程系副教授常曦博士负责翻译第2～6章，上海第二工业大学计算机应用工程系副教授薛建新博士负责翻译第7～8章和索引部分。感谢机械工业出版社朱劼编辑的支持。
鉴于译者的水平，译文难免存在不足之处，恳请读者批评指正。欢迎大家将相关意见、建议以及发现的错误发送到邮箱：basics@sjtu.edu.cn。
本书聚焦于计算机科学相关专业，对离散数学的教学内容进行筛选，并采用问题求解的方式，自然引出算法设计和分析的内容，将计算机学科中基础的问题抽象能力、问题求解能力（算法设计能力）和算法分析能力的培养融汇于一门课程。
本书的翻译工作是在上海交通大学计算机科学与工程系副教授、图书馆副馆长董笑菊博士的主持下进行的，董笑菊博士负责翻译第1、9、10章，上海第二工业大学软件工程系副教授常曦博士负责翻译第2～6章，上海第二工业大学计算机应用工程系副教授薛建新博士负责翻译第7～8章和索引部分。感谢机械工业出版社朱劼编辑的支持。
鉴于译者的水平，译文难免存在不足之处，恳请读者批评指正。欢迎大家将相关意见、建议以及发现的错误发送到邮箱：basics@sjtu.edu.cn。
目录
出版者的话
译者序
前言
第1章 算法、数和机器1
1.1 什么是算法3
1.2 整数算法和复杂度6
1.2.1 素数测试7
1.2.2 实数8
1.2.3 改进素数测试算法9
1.2.4 素数分解11
1.2.5 对数12
1.2.6 最大公约数14
1.3 数的机器表示16
1.3.1 近似误差17
1.3.2 二进制、八进制和十六进制19
1.4 数值求解25
1.4.1 牛顿的平方根求解方法26
1.4.2 二分法27
习题30
第2章 集合、序列和计数32
译者序
前言
第1章 算法、数和机器1
1.1 什么是算法3
1.2 整数算法和复杂度6
1.2.1 素数测试7
1.2.2 实数8
1.2.3 改进素数测试算法9
1.2.4 素数分解11
1.2.5 对数12
1.2.6 最大公约数14
1.3 数的机器表示16
1.3.1 近似误差17
1.3.2 二进制、八进制和十六进制19
1.4 数值求解25
1.4.1 牛顿的平方根求解方法26
1.4.2 二分法27
习题30
第2章 集合、序列和计数32
前言
本书面向计算机科学相关专业学生，以学生可接受的形式和提高编程竞争力的方式介绍离散数学基础，内容主要聚焦在与计算机科学直接相关的主题上。
大多数章节都通过例子逐步说明要介绍的内容。第1章介绍整本书的内容框架：如何设计标准计算问题的求解算法？对每一个合适的输入，如何知道算法是否工作正确？算法需要多长时间生成输出？
从我们的观点来看，教学本身远比内容展示要多得多，我们已经将本书作为“目标导向的学生实践能力设计”教程。人类习惯于给信息添加标签，表示从实践中获取的重要性。书中用这些实践作为正面引导。
本书旨在促使学生努力思考，培养他们的问题求解能力，并结合理论和应用，认识抽象的重要性。书中通过一些难忘的具有激励作用的例子来吸引学生，这些例子中的新想法、新方法和思考深度会给学生带来挑战。希望本书比其他离散数学教材更吸引学生。
书中介绍了很多计算机科学文化以及计算机科学家分享的常识（不包括程序设计）。许多是计算机科学家都知道的基础问题的基本求解方法：如何查找特定目标列表；如何按自然数序列对列表排序以方便查找；如何生成所有对象、子集或以某种次序排列的序列；如何遍历图的所有顶点；特别是，如何比较算法的效率并验证算法的正确性。但介绍的数学知识与计算机科学相关。
本书最突出的特点是非形式化描述和交互特性。算法的详细遍历过程贯穿始终。为了将材料介绍得生动一些，会插入一些挑战性的问题和评论。我们试图像在课堂上一样与读者交流，这与其他传统的数学教材有所区别。书中用符号“//”表示注释，也表示旁白（特别是数学讨论的扩展和解释），用以标识将要介绍的内容和希望读者能够自然而然想到的问题。从这点出发，本书尽可能保持（单词、句子和段落）简洁。
但这是一本数学书。我们试图用正确的数学语言和思想扩展学生的直觉。尽管到第3章才开始给出详细的证明，但已经解释和保持了数学证明的基本特性，重复应用即可证明算法的正确性。本书的一个目标是提供一个计算机科学中标准问题有效求解算法的工具箱，另一个目标是介绍一些计算机科学中不可或缺的概念。
致谢
感谢朋友和家人在本书的长期策划过程中给予的支持和鼓励，特别感谢Eleanor、Glenys、Janice和Flora。感谢Brock大学数学系和计算机科学系20多年来一直坚持本项目形式和内容方面的“课堂测试”实践。最后感谢Eric R.Muler率先在Brock大学开设了相关的原型课程。
大多数章节都通过例子逐步说明要介绍的内容。第1章介绍整本书的内容框架：如何设计标准计算问题的求解算法？对每一个合适的输入，如何知道算法是否工作正确？算法需要多长时间生成输出？
从我们的观点来看，教学本身远比内容展示要多得多，我们已经将本书作为“目标导向的学生实践能力设计”教程。人类习惯于给信息添加标签，表示从实践中获取的重要性。书中用这些实践作为正面引导。
本书旨在促使学生努力思考，培养他们的问题求解能力，并结合理论和应用，认识抽象的重要性。书中通过一些难忘的具有激励作用的例子来吸引学生，这些例子中的新想法、新方法和思考深度会给学生带来挑战。希望本书比其他离散数学教材更吸引学生。
书中介绍了很多计算机科学文化以及计算机科学家分享的常识（不包括程序设计）。许多是计算机科学家都知道的基础问题的基本求解方法：如何查找特定目标列表；如何按自然数序列对列表排序以方便查找；如何生成所有对象、子集或以某种次序排列的序列；如何遍历图的所有顶点；特别是，如何比较算法的效率并验证算法的正确性。但介绍的数学知识与计算机科学相关。
本书最突出的特点是非形式化描述和交互特性。算法的详细遍历过程贯穿始终。为了将材料介绍得生动一些，会插入一些挑战性的问题和评论。我们试图像在课堂上一样与读者交流，这与其他传统的数学教材有所区别。书中用符号“//”表示注释，也表示旁白（特别是数学讨论的扩展和解释），用以标识将要介绍的内容和希望读者能够自然而然想到的问题。从这点出发，本书尽可能保持（单词、句子和段落）简洁。
但这是一本数学书。我们试图用正确的数学语言和思想扩展学生的直觉。尽管到第3章才开始给出详细的证明，但已经解释和保持了数学证明的基本特性，重复应用即可证明算法的正确性。本书的一个目标是提供一个计算机科学中标准问题有效求解算法的工具箱，另一个目标是介绍一些计算机科学中不可或缺的概念。
致谢
感谢朋友和家人在本书的长期策划过程中给予的支持和鼓励，特别感谢Eleanor、Glenys、Janice和Flora。感谢Brock大学数学系和计算机科学系20多年来一直坚持本项目形式和内容方面的“课堂测试”实践。最后感谢Eric R.Muler率先在Brock大学开设了相关的原型课程。
媒体评论
离散数学是计算机及相关专业的重要基础课程，能够培养学生的抽象思维能力、逻辑推理能力以及分析和解决实际问题的能力。这门课程的理论性强、知识点多，初学者常常产生畏难心理。与同类书不同，本书站在计算机科学相关专业的视角，以提升学生编程能力为目标，用初学者更容易接受的形式介绍离散数学知识，内容主要聚焦在与计算机科学直接相关的主题上。
本书特色
从计算机科学专业的需求出发，梳理相关的离散数学知识，更适合计算机科学及相关专业的教学，易于初学者掌握。
以问题求解为核心，通过目标导向的讲授方式，提升学生的思考能力，并从实践中提升解决实际问题的能力。
通过案例展示计算机科学中常用的基本问题的求解方法，这些经典的知识可以帮助读者建立离散数学与计算机学科的联系，为后续专业课程的学习奠定基础。
用通俗易懂的语言和形式新颖的内容交互引导读者进行思考，体会解决问题的思路，最终掌握正确的解决方法。
作者简介
汤姆·詹金斯（Tom Jenkyns） 加拿大布洛克大学数学系和计算机科学系的副教授，长期为数学专业、计算机科学及相关学科的本科生讲授数学类课程（包括离散数学、微积分、统计学、算法分析、程序设计等），这些经历也促使他萌生了编写本书的想法。
本·斯蒂芬森（Ben Stephenson） 加拿大卡尔加里大学计算机科学系的教学教授，为非计算机专业的学生讲授计算机科学入门课程，具有丰富的教学经验。
本书特色
从计算机科学专业的需求出发，梳理相关的离散数学知识，更适合计算机科学及相关专业的教学，易于初学者掌握。
以问题求解为核心，通过目标导向的讲授方式，提升学生的思考能力，并从实践中提升解决实际问题的能力。
通过案例展示计算机科学中常用的基本问题的求解方法，这些经典的知识可以帮助读者建立离散数学与计算机学科的联系，为后续专业课程的学习奠定基础。
用通俗易懂的语言和形式新颖的内容交互引导读者进行思考，体会解决问题的思路，最终掌握正确的解决方法。
作者简介
汤姆·詹金斯（Tom Jenkyns） 加拿大布洛克大学数学系和计算机科学系的副教授，长期为数学专业、计算机科学及相关学科的本科生讲授数学类课程（包括离散数学、微积分、统计学、算法分析、程序设计等），这些经历也促使他萌生了编写本书的想法。
本·斯蒂芬森（Ben Stephenson） 加拿大卡尔加里大学计算机科学系的教学教授，为非计算机专业的学生讲授计算机科学入门课程，具有丰富的教学经验。
