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.
|