Elementary Foundations: An Introduction to Topics in Discrete Mathematics (Sylvestre)
( \newcommand{\kernel}{\mathrm{null}\,}\)
Front Matter
1: Symbolic language
2: Logical equivalence
3: Boolean algebra
4: Predicate logic
5: Arguments
6: Definitions and proof methods
7: Proof by mathematical induction
8: Axiomatic systems
9: Sets
10: Functions
11: Recurrence and induction
12: Cardinality
13: Countable and uncountable sets
14: Graphs
15: Paths and connectedness
16: Trees and searches
17: Relations
18: Equivalence relations
19: Partially ordered sets
20: Counting
21: Permutations
22: Combinations
23: Binomial and multinomial coefficients
Back Matter
Thumbnail: A Venn diagram illustrating the intersection of two sets. (Public Domain; Cepheus via Wikipedia).