PART 1. FUNDAMENTALS OF DISCRETE MATHEMATICS
Fundamental Principles of Counting
The Rules of Sum and Product
Permutations
Combinations: The Binomial Theorem
Combinations with Repetition
The Catalan Numbers (Optional)
Summary and Historical Review
Fundamentals of Logic
Basic Connectives and Truth Tables
Logical Equivalence: The Laws of Logic
Logical Implication: Rules of Inference
The Use of Quantifiers
Quantifiers, Definitions, and the Proofs of Theorems
Summary and Historical Review
Set Theory
Sets and Subsets
Set Operations and the Laws of Set Theory
Counting and Venn Diagrams
A First Word on Probability
The Axioms of Probability (Optional)
Conditional Probability: Independence (Optional)
Discrete Random Variables (Optional)
Summary and Historical Review
Properties of the Integers: Mathematical Induction
The Well-Ordering Principle: Mathematical Induction
Recursive Definitions
The Division Algorithm: Prime Numbers
The Greatest Common Divisor: The Euclidean Algorithm
The Fundamental Theorem of Arithmetic
Summary and Historical Review
Relations and Functions
Cartesian Products and Relations
Functions: Plain and One-to-One
Onto Functions: Stirling Numbers of the Second Kind
Special Functions
The Pigeonhole Principle
Function Composition and Inverse Functions
Computational Complexity
Analysis of Algorithms
Summary and Historical Review
Languages: Finite State Machines
Language: The Set Theory of Strings
Finite State Machines: A First Encounter
Finite State Machines: A Second Encounter
Summary and Historical Review
Relations: The Second Time Around
Relations Revisited: Properties of Relations
Computer Recognition: Zero-One Matrices and Directed Graphs
Partial Orders: Hasse Diagrams
Equivalence Relations and Partitions
Finite State Machines: The Minimization Process
Summary and Historical Review
PART 2. FURTHER TOPICS IN ENUMERATION
The Principle of Inclusion and Exclusion
The Principle of Inclusion and Exclusion
Generalizations of the Principle
Derangements: Nothing Is in Its Right Place
Rook Polynomials
Arrangements with Forbidden Positions
Summary and Historical Review
Generating Functions
Introductory Examples
Definition and Examples: Calculational Techniques
Partitions of Integers
The Exponential Generating Functions
The Summation Operator
Summary and Historical Review
Recurrence Relations
The First-Order Linear Recurrence Relation
The Second-Order Linear Homogeneous Recurrence Relation with Constant Coefficients
The Nonhomogeneous Recurrence Relation
The Method of Generating Functions
A Special Kind of Nonlinear Recurrence Relation (Optional)
Divide and Conquer Algorithms
Summary and Historical Review
PART 3. GRAPH THEORY AND APPLICATIONS
An Introduction to Graph Theory
Definitions and Examples
Subgraphs, Complements, and Graph Isomorphism
Vertex Degree: Euler Trails and Circuits
Planar Graphs
Hamilton Paths and Cycles
Graph Coloring and Chromatic Polynomials
Summary and Historical Review
Trees
Definitions, Properties, and Examples
Rooted Trees
Trees and Sorting
Weighted Trees and Prefix Codes
Biconnected Components and Articulation Points
Summary and Historical Review
Optimization and Matching
Dijkstra's Shortest Path Algorithm
Minimal Spanning Trees: The Algorithms of Kruskal and Prim
Transport Networks: The Max-Flow Min-Cut Theorem
Matching Theory
Summary and Historical Review
PART 4. MODERN APPLIED ALGEBRA
Rings and Modular Arithmetic
The Ring Structure: Definition and Examples
Ring Properties and Substructures
The Integers Modulo n. Cryptology
Ring Homomorphisms and Isomorphisms: The Chinese Remainder Theorem
Summary and Historical Review
Boolean Algebra and Switching Functions
Switching Functions: Disjunctive and Conjunctive Normal Forms
Gating Networks: Minimal Sums of Products: Karnaugh Maps
Further Applications: Don't-Care Conditions
The Structure of a Boolean Algebra (Optional)
Summary and Historical Review
Groups, Coding Theory, and Polya's Theory of Enumeration
Definition, Examples, and Elementary Properties
Homomorphisms, Isomorphisms, and Cyclic Groups
Cosets and Lagrange's Theorem
The RSA Cipher (Optional)
Elements of Coding Theory
The Hamming Metric
The Parity-Check and Generator Matrices
Group Codes: Decoding with Coset Leaders
Hamming Matrices
Counting and Equivalence: Burnside's Theorem
The Cycle Index
The Pattern Inventory: Polya's Method of Enumeration
Summary and Historical Review
Finite Fields and Combinatorial Designs
Polynomial Rings
Irreducible Polynomials: Finite Fields
Latin Squares
Finite Geometries and Affine Planes
Block Designs and Projective Planes
Summary and Historical Review
Appendices
Exponential and Logarithmic Functions
Matrices, Matrix Operations, and Determinants
Countable and Uncountable Sets
Solutions
Index
