CSE 311 logo

CSE 311 Spring 2020
Foundations of Computing I


Date Topic
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]