《離散及組合數學(第5版)(英文影印版)》內容主要由四部分組成:(1)基本離散結構,包括集合論與邏輯、函數與關系、語言與有限狀態自動機;(2)組合數學,包括排列組合、容斥原理、生成函數、遞推關系、鴿巢原理;(3)圖論及其應用,包括圖論基本知識、樹、最優化與匹配;(4)現代應用代數,包括環論與模算術、布爾代數與交換函數、群、編碼理論、波利亞計數方法、有限域與組合設計。
《離散及組合數學(第5版)(英文影印版)》可作為計算機、軟件工程和電子類相關專業的本科生或研究生教材,也可供工程技術人員參考。
《離散及組合數學(第5版英文影印版)》由Ralph P. Grimaldi著,主要內容是:The major purpose of this new edition is to continue to provide an introductory survey in both discrete and combinatorial mathematics. The coverage is intended for the beginning student, so there are a great number of examples with detailed explanations. (The examples are numbered separately and a thick line is used to denote the end of each example.) In addition, wherever proofs are given, they too are presented with sufficient detail (with the novice in mind).
PART 1 Fundamentals of Discrete Mathematics
1 Fundamental Principles of Counting
1.1 The Rules of Sum and Product
1.2 Permutations
1.3 Combinations: The Binomial Theorem
1.4 Combinations with Repetition
1.5 The Catalan Numbers (Optional)
1.6 Summary and Historical Review
2 Fundamentals of Logic
2.1 Basic Connectives and Truth Tables
2.2 Logical Equivalence: The Laws of Logic
2.3 Logical Implication: Rules of Inference
2.4 The Use of Quantifiers
2.5 Quantifiers, Definitions, and the Proofs of Theorems
2.6 Summary and Historical Review
3 Set Theory
3.1 Sets and Subsets
3.2 Set Operations and the Laws of Set Theory
3.3 Counting and Venn Diagrams
3.4 A First Word on Probability
3.5 The Axioms of Probability (Optional)
3.6 Conditional Probability: Independence (Optional)
3.7 Discrete Random Variables (Optional)
3.8 Summary and Historical Review
4 Properties of the Integers: Mathematical Induction
4.1 The Well-Ordering Principle: Mathematical Induction
4.2 Recursive Definitions
4.3 The Division Algorithm: Prime Numbers
4.4 The Greatest Common Divisor: The Euclidean Algorithm
4.5 The Fundamental Theorem of Arithmetic
4.6 Summary and Historical Review
5 Relations and Functions
5.1 Cartesian Products and Relations
5.2 Functions: Plain and One-to-One
5.3 Onto Functions: Stirling Numbers of the Second Kind
5.4 Special Functions
5.5 The Pigeonhole Principle
5,6 Function Composition and Inverse Functions
5.7 Computational Complexity
5.8 Analysis of Algorithms
5.9 Summary and Historical Review
6 Languages: Finite State Machines
6.1 Language: The Set Theory of Strings
6.2 Finite State Machines: A First Encounter
6.3 Finite State Machines: A Second Encounter
6.4 Summary and Historical Review 332
7 Relations: The Second Time Around
7.1 Relations Revisited: Properties of Relations
7.2 Computer Recognition: Zero-One Matrices and Directed Graphs
7.3 Partial Orders: Hasse Diagrams
7.4 Equivalence Relations and Partitions
7.5 Finite State Machines: The Minimization Process
7.6 Summary and Historical Review
PART 2 Further Topics in Enumeration
8 The Principle of Inclusion and Exclusion
8.1 The Principle of Inclusion and Exclusion
8.2 Generalizations of the Principle
8.3 Derangements: Nothing Is in Its Right Place
8.4 Rook Polynomials
8.5 Arrangements with Forbidden Positions
8.6 Summary and Historical Review
9 Generating Functions
9.1 Introductory Examples
9.2 Definition and Examples: Calculational Techniques
9.3 Partitions of Integers
9.4 The Exponential Generating Function
9.5 The Summation Operator
9.6 Summary and Historical Review
10 Recurrence Relations
10.1 The First-Order Linear Recurrence Relation
10.2 The Second-Order Linear Homogeneous Recurrence Relation with Constant Coefficients
10.3 The Nonhomogeneous Recurrence Relation
10.4 The Method of Generating Functions
10.5 A Special Kind of Nonlinear Recurrence Relation (Optional)
10.6 Divide-and-Conquer Algorithms (Optional)
10.6 Summary and Historical Review
PART 3 Graph Theory and Applications
11 An Introduction to Graph Theory
11.1 Definitions and Examples
11.2 Subgraphs, Complements, and Graph Isomorphism
11.3 Vertex Degree: Euler Trails and Circuits
11.4 Planar Graphs
11.5 Hamilton Paths and Cycles
11.6 Graph Coloring and Chromatic Polynomials
11.7 Summary and Historical Review
12 Trees
12.1 Definitions, Properties, and Examples
12.2 Rooted Trees
12.3 Trees and Sorting
12.4 Weighted Trees and Prefix Codes
12.5 Biconnected Components and Articulation Points
12.6 Summary and Historical Review
13 Optimization and Matching
13.1 Dijkstra's Shortest-Path Algorithm
13.2 Minimal Spanning Trees: The Algorithms of Kruskal and Prim
13.3 Transport Networks: The Max-Flow Min-Cut Theorem
13.4 Matching Theory
13.5 Summary and Historical Review
PART 4 Modern Applied Algebra
14 Rings and Modular Arithmetic
14.1 The Ring Structure: Definition and Examples
14.2 Ring Properties and Substructures
14.3 The Integers Modulo n
14.4 Ring Homomorphisms and Isomorphisms
14.5 Summary and Historical Review
15 Boolean Algebra and Switching Functions
15.1 Switching Functions: Disjunctive and Conjunctive Normal Forms
15.2 Gating Networks: Minimal Sums of Products: Kamaugh Maps
15.3 Further Applications: Don't-Care Conditions
15.4 The Structure of a Boolean Algebra (Optional)
15.5 Summary and Historical Review
16 Groups, Coding Theory, and Polya's Method of Enumeration
16.1 Definition, Examples, and Elementary Properties
16.2 Homomorphisms, Isomorphisms, and Cyclic Groups
16.3 Cosets and Lagrange's Theorem
16.4 The RSA Cryptosystem (Optional)
16.5 Elements of Coding Theory 761
16.6 The Hamming Metric
16.7 The Parity-Check and Generator Matrices
16.8 Group Codes: Decoding with Coset Leaders
16.9 Hamming Matrices
16.10 Counting and Equivalence: Burnside's Theorem
16.11 The Cycle Index
16.12 The Pattern Inventory: Polya's Method of Enumeration
16.13 Summary and Historical Review
17 Finite Fields and Combinatorial Designs
17.1 Polynomial Rings
17.2 Irreducible Polynomials: Finite Fields
17.3 Latin Squares
17.4 Finite Geometries and Affine Planes
17.5 Block Designs and Projective Planes
17.6 Summary and Historical Review
Appendix 1 Exponential anti Logarithmic Functions
Appendix 2 Matrices, Matrix Operations, and Determinants
Appendix 3 Countable and Uncountable Sets
Solutions