基本信息
- 作者： [美]肯尼思·H. 罗森（Kenneth H. Rosen）陈琼
- 丛书名： 经典原版书库
- 出版社：机械工业出版社
- ISBN：9787111643029
- 上架时间：2020-5-26
- 出版日期：2019 年12月
- 开本：16开
- 页码：539
- 版次：1-1
- 所属分类：计算机 > 计算机科学理论与基础知识 > 计算理论 > 算法
内容简介
作译者
[美]肯尼思·H. 罗森（Kenneth H. Rosen）著陈琼 改编：肯尼思·H. 罗森（Kenneth H. Rosen） 于1972年获密歇根大学安娜堡分校数学学士学位，1976年获麻省理工学院数学博士学位。Rosen曾就职于科罗拉多大学、俄亥俄州立大学、缅因大学和蒙茅斯大学，教授离散数学、算法设计和计算机安全方面的课程；他还曾加盟贝尔实验室，并且是AT&T贝尔实验室的杰出技术人员。他的著作《初等数论及其应用》和《离散数学及其应用》均被翻译成多种语言，在全球数百所大学中广为采用。
目录
The Adapter's Words
Preface
Online Resources
To the Student
About the Author
List of Symbols
1 The Foundations: Logic and Proofs 1
1.1 Propositional Logic 1
1.2 Applications of Propositional Logic 15
1.3 Propositional Equivalences 22
1.4 Predicates and Quantifiers 34
1.5 Nested Quantifiers 51
1.6 Rules of Inference 62
1.7 Introduction to Proofs 72
1.8 Proof Methods and Strategy 84
End-of-ChapterMaterial (Online)
2 Basic Structures: Sets, Functions, Sequences, Sums, and Matrices 101
2.1 Sets 101
2.2 Set Operations 111
2.3 Functions 124
Preface
Online Resources
To the Student
About the Author
List of Symbols
1 The Foundations: Logic and Proofs 1
1.1 Propositional Logic 1
1.2 Applications of Propositional Logic 15
1.3 Propositional Equivalences 22
1.4 Predicates and Quantifiers 34
1.5 Nested Quantifiers 51
1.6 Rules of Inference 62
1.7 Introduction to Proofs 72
1.8 Proof Methods and Strategy 84
End-of-ChapterMaterial (Online)
2 Basic Structures: Sets, Functions, Sequences, Sums, and Matrices 101
2.1 Sets 101
2.2 Set Operations 111
2.3 Functions 124
媒体评论
本书是介绍离散数学理论和方法的经典教材，被全球数百所高校采用，获得了极大的成功。第8版做了与时俱进的修改，同时更新了配套教辅资源，成为更加实用的教学工具。英文精编版为满足本科教学需求而缩减了篇幅，适用于数学、计算机科学、计算机工程、信息技术等专业的学生。
本书特色
章节：保留了逻辑和证明、基本结构、计数和高级计数、关系、图、树和布尔代数等内容，删除了算法、数论和密码学、归纳与递归、离散概率、计算模型等内容。
例题：共400多道例题，用于阐明概念、建立不同主题之间的关联以及介绍实际应用。
应用：涉及的领域包括计算机科学、数据网络、心理学、化学、工程学、语言学、生物学、商业和因特网等，展示了离散数学的实用性。
算法：每一章都介绍了一些关键算法，提供伪代码，并简要分析其计算复杂度。
练习、复习题和补充练习：共有2000多道难度各异的练习题，可以满足不同层次学生的需求。此外，还有一些研究性题目，帮助学生通过计算来探索新知识和新想法。
作者简介
肯尼思 H. 罗森（Kenneth H. Rosen）于1972年获密歇根大学安娜堡分校数学学士学位，1976年获麻省理工学院数学博士学位。Rosen曾就职于科罗拉多大学、俄亥俄州立大学、缅因大学和蒙茅斯大学，教授离散数学、算法设计和计算机安全方面的课程；他还曾加盟贝尔实验室，并且是AT&T贝尔实验室的杰出技术人员。他的著作《初等数论及其应用》和《离散数学及其应用》均被翻译成多种语言，在全球数百所大学中广为采用。
本书特色
章节：保留了逻辑和证明、基本结构、计数和高级计数、关系、图、树和布尔代数等内容，删除了算法、数论和密码学、归纳与递归、离散概率、计算模型等内容。
例题：共400多道例题，用于阐明概念、建立不同主题之间的关联以及介绍实际应用。
应用：涉及的领域包括计算机科学、数据网络、心理学、化学、工程学、语言学、生物学、商业和因特网等，展示了离散数学的实用性。
算法：每一章都介绍了一些关键算法，提供伪代码，并简要分析其计算复杂度。
练习、复习题和补充练习：共有2000多道难度各异的练习题，可以满足不同层次学生的需求。此外，还有一些研究性题目，帮助学生通过计算来探索新知识和新想法。
作者简介
肯尼思 H. 罗森（Kenneth H. Rosen）于1972年获密歇根大学安娜堡分校数学学士学位，1976年获麻省理工学院数学博士学位。Rosen曾就职于科罗拉多大学、俄亥俄州立大学、缅因大学和蒙茅斯大学，教授离散数学、算法设计和计算机安全方面的课程；他还曾加盟贝尔实验室，并且是AT&T贝尔实验室的杰出技术人员。他的著作《初等数论及其应用》和《离散数学及其应用》均被翻译成多种语言，在全球数百所大学中广为采用。
