Logic
axioms (de morgan)
quantifiers
English ←→ Logic
equivalence
entialment
Sets
sets
operators on sets (membership, subset)
Induction
proof technique
P(0)
P(n) → P(n+1)
∴ ∀n in N n ≥ 0 . P(n)
Contradiction
proof technique
¬A proves false
∴ A
Combinatorics
summation notation
choose
factorial
stuff about picking and how many options
Structures
everything else
sequences
symbols
strings
graphs
automata/state machines
relations and propertys thereof
logarithms