Welcome! Propositional Logic

More logic, Equivalences, Circuits

Propositions, Translation

Normal forms, Predicate logic

Canonical Forms, Quantifiers

Inference proofs, propositional logic

Predicate logic inference proofs

Mod. arith., primes and GCD

Fast mod. exp. and Induction

Induction and Strong Induction

Structural Induction and Regular Expressions

Structural Induction, RegEx, CFGs

Relations and Directed Graphs

Finite State Machines (DFAs) and Directed Graphs

CFGs, Relations, DFAs, and Directed Graphs

Relating Regular Expressions and NFAs

From NFAs to DFAs and from NFAs to REs

NFAs and DFA Minimization

Memorial Day, no class

(Mon 05/31)

Irregular Languages + More

Cardinality and the Halting Problem