Apr 02 |
Propositional Logic [problems, solutions] |
Apr 09 |
Equivalences [problems, solutions] |
Apr 16 |
Predicate Logic and Inference [problems, solutions] |
Apr 23 |
English Proofs and Sets [problems, solutions] |
Apr 30 |
Number Theory [problems, solutions] |
May 07 |
Induction and Strong Induction [problems, solutions] |
May 14 |
Structural Induction and Regular Expressions [problems, solutions] |
May 21 |
CFGs, Relations, DFAs, NFAs, and Minimization [problems, solutions] |
May 28 |
NFAs, Subset Construction, and Review [problems, solutions] |
Jun 04 |
Irregularity and Cardinality [problems, solutions] |