Unit 1: Proofs

1.1 Intro to Proofs

1.2 Proof Methods

1.3 Well Ordering Principle

1.4 Logic & Propositions

1.5 Quantifiers & Predicate Logic

1.6 Sets

1.7 Binary Relations

1.8 Induction

1.9 State Machines - Invariants

1.10 Recursive Definition

1.11 Infinite Sets