0.1
Three Traditionally Central Areas of the Theory of Computation: Automata, Computability and Complexity.
0.2
Equivalence RELATION: Reflexive, Symmetric, Transitive
Boolean Logic: Negation, Conjunction, Disjunction
0.3
Theorem: a Mathematical Statement That Proved True.
Lemma: a statement That Assists The Proof of Another, More Significant Statement.
Corollary: a Statement That Follows with little or no proof required from one already Proven.
0.4
Proof by construction
Proof by Contradiction
Proof by induction