Course categories:


Foundations of Computer Science
Instructor: Peter Cappello

Mathematical foundations of computer science: Introduction to propositional logic, predicate logic, proof methods including mathematical induction, set theory, relations including functions, counting techniques including inclusion-exclusion and elementary generating functions.