离散数学及其应用-(英文精编板.第7版)
本书特色
[
本书是经典的离散数学教材，为全球多所大学广为采用。本书全面而系统地介绍了离散数学的理论和方法，内容涉及逻辑和证明，集合、函数、序列、求和与矩阵，计数，关系，图，树，布尔代数。全书取材广泛，除包括定义、定理的严格陈述外，还配备大量的实例和图表说明、各种练习和题目。第7版在前六版的基础上做了大量的改进，使其成为更有效的教学工具。本书可作为高等院校数学、计算机科学和计算机工程等专业的教材或参考书。
]
作者简介
[
Kenneth H. Rosen 1972年获密歇根大学数学学士学位，1976年获麻省理工学院数学博士学位，1982年加入贝尔实验室，现为AT&T实验室特别成员，国际知名的计算机数学专家，除本书外，还著有《初等数论及其应用》等书。
]
目录
ContentsThe Adapter ‘s Words ivPreface viAbout the Author xiThe Companion Website xiiTo the Student xivList of Symbols xvii1 The Foundations: Logic and Proofs111 Propositional Logic112 Applications of Propositional Logic1313 Propositional Equivalences2014 Predicates and Quantifiers3215 Nested Quantifiers4916 Rules of Inference5917 Introduction to Proofs7018 Proof Methods and Strategy80End-of-Chapter Material962 Basic Structures: Sets, Functions, Sequences, Sums, and Matrices 10121 Sets10122 Set Operations11123 Functions12124 Sequences and Summations13725 Cardinality of Sets14926 Matrices156End-of-Chapter Material1633 Counting16931 The Basics of Counting16932 The Pigeonhole Principle18133 Permutations and Combinations18834 Binomial Coefficients and Identities19535 Generalized Permutations and Combinations20236 Generating ermutations and Combinations212End-of-Chapter Material2164 Advanced Counting Techniques22341 Applications of Recurrence Relations22342 Solving Linear Recurrence Relations23343 Divide-and-Conquer Algorithms and Recurrence Relations24544 Generating Functions25445 Inclusion朎xclusion26846 Applications of Inclusion朎xclusion273End-of-Chapter Material2795 Relations28751 Relations and Their Properties28752 n-ary Relations and Their Applications29653 Representing Relations30354 Closures of Relations30955 Equivalence Relations31856 Partial Orderings327End-of-Chapter Material3406 Graphs34761 Graphs and Graph Models34762 Graph Terminology and Special Types of Graphs35663 Representing Graphs and Graph Isomorphism37264 Connectivity38065 Euler and Hamilton Paths39366 Shortest-Path Problems40467 Planar Graphs41468 Graph Coloring421End-of-Chapter Material4297 Trees43971 Introduction to Trees43972 Applications of Trees45073 Tree Traversal46374 Spanning Trees47575 Minimum Spanning Trees486End-of-Chapter Material4918 Boolean Algebra49781 Boolean Functions49782 Representing Boolean Functions50483 Logic Gates50784 Minimization of Circuits513End-of-Chapter Material525Suggested Readings 531Answers to Exercises
封面
书名:离散数学及其应用-(英文精编板.第7版)
作者:肯尼思H.罗森
页数:537
定价:¥79.0
出版社:机械工业出版社
出版日期:2017-01-01
ISBN:9787111555360
PDF电子书大小:123MB 高清扫描完整版