UCSB CS40 Winter 2021

Topics: Propositional and predicate logic, set theory and cardinality, proof techniques, functions, relations and well-ordering, combinatorics and mathematical induction

This page will be updated closer to the start of the quarter!