This course is an introduction to mathematical logic and discrete systems. Topics include Boolean algebra, mathematical proof, sets, relations, functions, induction, combinatorics, graph theory, and applications.
Semester Offered
Fall