离散数学（双语）

陈海明

目录

  • 1 Logic and Proofs
    • 1.1 Propositional Logic
    • 1.2 Predicates and Quantifiers
    • 1.3 Rules of Inference
    • 1.4 Proofs and Proof Methods
    • 1.5 Induction and Well-Ordering
  • 2 Boolean Algebra
    • 2.1 Boolean Functions
    • 2.2 Minimizing Boolean Functions
  • 3 Counting
    • 3.1 The Basic of Counting
    • 3.2 The Pigeonhole Principle
    • 3.3 Permutation and Combinations
    • 3.4 Lists and Sequences
    • 3.5 Recursive Definition of a Sequence and Its Solution
  • 4 Sets and Functions
    • 4.1 Sets&Functions
  • 5 Relations
    • 5.1 Relations and Their Properties
    • 5.2 Representing Relations
    • 5.3 Closures of Relations
    • 5.4 Equivalence Relations
    • 5.5 Partial Orderings
  • 6 Graphs
    • 6.1 Graph and Graph Models
    • 6.2 Degree and Graph Isomorphisms
    • 6.3 Subgraph and Connectivity
    • 6.4 Shortest-Path Problems
    • 6.5 Euler and Hamilton Paths
    • 6.6 Bipartite Graphs and Planar Graphs
  • 7 Trees
    • 7.1 Introduction and Applications
    • 7.2 Tree Traversal
    • 7.3 Spanning Trees
Rules of Inference