Lecture Notes:

Lecture 0. Introduction, Set Theory

Lecture 1: Mathematical Proofs

Lecture 2: Indirect Proofs

Lecture 3: Propositional Logic

Lecture 4: First-Order Logic, Part I

Lecture 5: First-Order Logic, Part II

Lecture 6: Functions I

Lecture 7: Functions II

Lecture 8: Functions III and Cardinality

Lecture 9: Graphs I

Guide to Cantor’s Theorem

Lecture 10: Graphs II

Lecture 11: Graphs III

Lecture 12: Mathematical Induction, I

Lecture 13: Mathematical Induction, Part II

Lecture 14: Finite Automata I

Lecture 15: Finite Automata II

Lecture 16: Finite Automata III

Lecture 17: Regular Expressions