基本信息
- 作者： [美]肯尼思·H. 罗森（Kenneth H. Rosen）
- 丛书名： 计算机科学丛书
- 出版社：机械工业出版社
- ISBN：9787111636878
- 上架时间：2020-3-10
- 出版日期：2019 年10月
- 开本：16开
- 页码：851
- 版次：1-1
- 所属分类：计算机 > 计算机科学理论与基础知识 > 计算理论 > 算法
编辑推荐
经典教材全面升级，全球数百万学生阅读，新版包含超过800道例题和4200道习题
内容简介
作译者
[美]肯尼思·H. 罗森（Kenneth H. Rosen）著：
目录
出版者的话
译者序
前言
在线资源
致学生
作者简介
符号表
第1章 基础：逻辑和证明1
1.1 命题逻辑1
1.1.1 引言1
1.1.2 命题1
1.1.3 条件语句4
1.1.4 复合命题的真值表7
1.1.5 逻辑运算符的优先级8
1.1.6 逻辑运算和比特运算8
练习9
1.2 命题逻辑的应用15
1.2.1 引言15
1.2.2 语句翻译15
1.2.3 系统规范说明16
译者序
前言
在线资源
致学生
作者简介
符号表
第1章 基础：逻辑和证明1
1.1 命题逻辑1
1.1.1 引言1
1.1.2 命题1
1.1.3 条件语句4
1.1.4 复合命题的真值表7
1.1.5 逻辑运算符的优先级8
1.1.6 逻辑运算和比特运算8
练习9
1.2 命题逻辑的应用15
1.2.1 引言15
1.2.2 语句翻译15
1.2.3 系统规范说明16
前言
本书是根据我多年来讲授离散数学的经验和兴趣写成的。对学生而言，我的目的是为他们提供内容准确且可读性强的教材，清晰地介绍并展示离散数学中的概念和技术。对于那些爱怀疑的学生，我的目标是展示离散数学的相关性和实用性。对于计算机科学专业的学生，我希望为他们将来的学习提供一切必需的数学基础。而对于数学专业的学生，我希望帮助他们理解重要的数学概念，并且意识到为什么这些概念对应用来说很重要。最重要的是，希望本书既能达到这些目标，又不含太多的水分。
对教师而言，我的目的是利用数学中行之有效的教学技术来设计一个灵活而全面的教学工具：只要有本书在手，教师就能迅速地从中筛选内容，以最适合特定学生的方式有效地开展离散数学的教学工作。希望我已经实现了这些目标。
在过去的30年中，本书取得了极大的成功，被世界各地超过100万名学生使用，并被翻译成多种语言，对此我感到非常欣慰。此次第8版所做的许多改进，正是得益于大量读者的反馈和建议。在这些读者中，既有来自北美600多所学校的师生，又有来自全球各地众多高校的读者，他们都曾将本书成功用作教材。由于所收到的这些反馈，以及在不断更新中所投入的大量精力，我才能够在每次升级时显著提高本书的吸引力和有效性。
本教材是为一学期或两学期的离散数学入门课程而设计的，适用于数学、计算机科学、工程等各类专业的学生。大学代数是唯一要求的先修课程，不过，要想真正学好离散数学，还是需要有一定的数学素养。本书的设计目标是满足各种类型离散数学入门课程的需求，内容高度灵活且非常全面。我希望本书不仅是一本成功的教科书，而且成为学生在日后的学习和职业生涯中可以参考的有价值的资源。
离散数学课程的目标
离散数学课程有多个目标。学生应该学会一系列特定的数学知识并知道怎样应用它们，更重要的是，这门课应教会学生怎样运用数学逻辑思维。为了达到这些目标，本教材特别强调数学推理以及问题求解的不同方法。本书中，五个重要主题将交织在一起：数学推理，组合分析，离散结构，算法思维，以及应用与建模。一门成功的离散数学课程应该小心谨慎地融合并平衡所有五个主题。
●数学推理。学生必须理解数学推理以便阅读、领会并构造数学论证。本书开篇即讨论数理逻辑，这为后续讨论证明方法打下了基础。本书描述了构造证明的方法与技巧两个方面。本书特别强调数学归纳法，不仅给出了这种证明技术的许多不同类型的实例，还详细地解释了数学归纳法为什么是一种有效的证明技术。
●组合分析。一个重要的解题技巧就是计数或枚举对象。本书中关于枚举的讨论从计数的基本技术着手。重点是运用组合分析方法来解决计数问题并分析算法，而不是简单地应用公式。
●离散结构。离散数学课程应该教会学生如何处理离散结构，即表示离散对象以及对象之间关系的抽象数学结构。这些离散结构包括集合、置换、关系、图、树和有限状态机等。
●算法思维。有些类型的问题可以通过算法的规范说明来求解。当一个算法被清楚地描述后，就可以编写计算机程序来实现之。该活动涉及的数学部分包括该算法的规范说明、正确性的验证，以及执行算法所需要的计算机内存和时间分析等，这些在本书中均有阐述。算法将采用自然语言原书采用英语，而中译版则采用汉语。——译者注和一种易于理解的伪代码形式来描述。
●应用与建模。离散数学在几乎每个可以想到的研究领域中都有应用。许多应用涉及本书提到的计算机科学和数据网络，还有一些应用涉及更为广泛的领域，如化学、生物学、语言学、地理学、商业和互联网等。这些是离散数学的自然而又重要的应用，而非人为编造的。用离散数学来建模是一项十分重要的问题求解技巧，学生可通过一些练习来自己构造模型，从而掌握这一技巧。
第8版中的变化
虽然第7版已经是一本极具影响力的教材，但许多教师还是提出了一些修改请求，以使本书更适于教学。我花了大量的时间和精力来满足这些请求，努力以自己的方式改进本书并使之紧跟最新发展。
第8版的修改基于20多位正式审稿人的意见、学生和教师的反馈以及我自己的见解，希望新版本能成为一个更加有效的教学工具。第8版中所做的大量更新是为了帮助学生更好地学习这些内容。我增加了额外的解释和例子以便阐述那些学生经常感到困难的内容，增加了知识性的和富有挑战性的新练习，还增加了一些与Internet、计算机科学以及数学生物学等密切相关的应用。在开发人员的努力下，本书配套网站现在提供了很多工具，可以帮助学生掌握关键概念并探索离散数学世界。此外，还提供了有效和全面的学习和评估工具，以作为教科书的补充。
我希望教师能仔细阅读新版，以了解如何满足自己的教学需求。要列出所有更新是不切实际的，不过，我将给出概要性的描述，包括一些关键更新及其所带来的好处，这对读者来说或许是有益的。
本书新版对许多内容进行了完善、更新、补充和润色，所有这一切都是为了使本书成为现代离散数学课程的更加有效的教学工具。之前使用过本教材的教师会发现这次更新遍及全书，其中最值得注意的修订如下。
全书范围的更新
●对内容编排的完善贯穿全书，重点是使之更清晰，以便帮助学生阅读和理解概念。
●通过增加细节和解释来改进证明，同时提醒读者注意所采用的证明方法。
●新增例题，用于满足审稿人提出的需求，或是对新内容进行解释。有些例题可以在书中找到，有些例题则只在配套网站上提供。
对教师而言，我的目的是利用数学中行之有效的教学技术来设计一个灵活而全面的教学工具：只要有本书在手，教师就能迅速地从中筛选内容，以最适合特定学生的方式有效地开展离散数学的教学工作。希望我已经实现了这些目标。
在过去的30年中，本书取得了极大的成功，被世界各地超过100万名学生使用，并被翻译成多种语言，对此我感到非常欣慰。此次第8版所做的许多改进，正是得益于大量读者的反馈和建议。在这些读者中，既有来自北美600多所学校的师生，又有来自全球各地众多高校的读者，他们都曾将本书成功用作教材。由于所收到的这些反馈，以及在不断更新中所投入的大量精力，我才能够在每次升级时显著提高本书的吸引力和有效性。
本教材是为一学期或两学期的离散数学入门课程而设计的，适用于数学、计算机科学、工程等各类专业的学生。大学代数是唯一要求的先修课程，不过，要想真正学好离散数学，还是需要有一定的数学素养。本书的设计目标是满足各种类型离散数学入门课程的需求，内容高度灵活且非常全面。我希望本书不仅是一本成功的教科书，而且成为学生在日后的学习和职业生涯中可以参考的有价值的资源。
离散数学课程的目标
离散数学课程有多个目标。学生应该学会一系列特定的数学知识并知道怎样应用它们，更重要的是，这门课应教会学生怎样运用数学逻辑思维。为了达到这些目标，本教材特别强调数学推理以及问题求解的不同方法。本书中，五个重要主题将交织在一起：数学推理，组合分析，离散结构，算法思维，以及应用与建模。一门成功的离散数学课程应该小心谨慎地融合并平衡所有五个主题。
●数学推理。学生必须理解数学推理以便阅读、领会并构造数学论证。本书开篇即讨论数理逻辑，这为后续讨论证明方法打下了基础。本书描述了构造证明的方法与技巧两个方面。本书特别强调数学归纳法，不仅给出了这种证明技术的许多不同类型的实例，还详细地解释了数学归纳法为什么是一种有效的证明技术。
●组合分析。一个重要的解题技巧就是计数或枚举对象。本书中关于枚举的讨论从计数的基本技术着手。重点是运用组合分析方法来解决计数问题并分析算法，而不是简单地应用公式。
●离散结构。离散数学课程应该教会学生如何处理离散结构，即表示离散对象以及对象之间关系的抽象数学结构。这些离散结构包括集合、置换、关系、图、树和有限状态机等。
●算法思维。有些类型的问题可以通过算法的规范说明来求解。当一个算法被清楚地描述后，就可以编写计算机程序来实现之。该活动涉及的数学部分包括该算法的规范说明、正确性的验证，以及执行算法所需要的计算机内存和时间分析等，这些在本书中均有阐述。算法将采用自然语言原书采用英语，而中译版则采用汉语。——译者注和一种易于理解的伪代码形式来描述。
●应用与建模。离散数学在几乎每个可以想到的研究领域中都有应用。许多应用涉及本书提到的计算机科学和数据网络，还有一些应用涉及更为广泛的领域，如化学、生物学、语言学、地理学、商业和互联网等。这些是离散数学的自然而又重要的应用，而非人为编造的。用离散数学来建模是一项十分重要的问题求解技巧，学生可通过一些练习来自己构造模型，从而掌握这一技巧。
第8版中的变化
虽然第7版已经是一本极具影响力的教材，但许多教师还是提出了一些修改请求，以使本书更适于教学。我花了大量的时间和精力来满足这些请求，努力以自己的方式改进本书并使之紧跟最新发展。
第8版的修改基于20多位正式审稿人的意见、学生和教师的反馈以及我自己的见解，希望新版本能成为一个更加有效的教学工具。第8版中所做的大量更新是为了帮助学生更好地学习这些内容。我增加了额外的解释和例子以便阐述那些学生经常感到困难的内容，增加了知识性的和富有挑战性的新练习，还增加了一些与Internet、计算机科学以及数学生物学等密切相关的应用。在开发人员的努力下，本书配套网站现在提供了很多工具，可以帮助学生掌握关键概念并探索离散数学世界。此外，还提供了有效和全面的学习和评估工具，以作为教科书的补充。
我希望教师能仔细阅读新版，以了解如何满足自己的教学需求。要列出所有更新是不切实际的，不过，我将给出概要性的描述，包括一些关键更新及其所带来的好处，这对读者来说或许是有益的。
本书新版对许多内容进行了完善、更新、补充和润色，所有这一切都是为了使本书成为现代离散数学课程的更加有效的教学工具。之前使用过本教材的教师会发现这次更新遍及全书，其中最值得注意的修订如下。
全书范围的更新
●对内容编排的完善贯穿全书，重点是使之更清晰，以便帮助学生阅读和理解概念。
●通过增加细节和解释来改进证明，同时提醒读者注意所采用的证明方法。
●新增例题，用于满足审稿人提出的需求，或是对新内容进行解释。有些例题可以在书中找到，有些例题则只在配套网站上提供。
媒体评论
本书是介绍离散数学理论和方法的经典教材，被全球数百所高校采用，获得了极大的成功。第8版做了与时俱进的更新，添加了多重集、字符串匹配算法、同态加密、数据挖掘中的关联规则、语义网络等内容，同时更新了配套教辅资源，成为更加实用的教学工具。本书可作为1～2个学期的离散数学课程教材，适用于数学、计算机科学、计算机工程、信息技术等专业的学生。
本书特色
·例题：共800多道例题，用于阐明概念、建立不同主题之间的关联以及介绍实际应用。
·应用：涉及的领域包括计算机科学、数据网络、心理学、化学、工程学、语言学、生物学、商业和因特网等，展示了离散数学的实用性。
·算法：每一章都介绍了一些关键算法，提供伪代码，并简要分析其计算复杂度。
·历史资料：给出了89位数学家和计算机科学家的简短传记，帮助读者了解不同技术的历史背景和发展轨迹。
·练习、复习题和补充练习：共有4200多道难度各异的练习题，可以满足不同层次学生的需求。此外，还有一些研究性题目，帮助学生通过计算来探索新知识和新想法。
本书特色
·例题：共800多道例题，用于阐明概念、建立不同主题之间的关联以及介绍实际应用。
·应用：涉及的领域包括计算机科学、数据网络、心理学、化学、工程学、语言学、生物学、商业和因特网等，展示了离散数学的实用性。
·算法：每一章都介绍了一些关键算法，提供伪代码，并简要分析其计算复杂度。
·历史资料：给出了89位数学家和计算机科学家的简短传记，帮助读者了解不同技术的历史背景和发展轨迹。
·练习、复习题和补充练习：共有4200多道难度各异的练习题，可以满足不同层次学生的需求。此外，还有一些研究性题目，帮助学生通过计算来探索新知识和新想法。
