MATH 210 | Introduction to Mathematics of Computer Science

This course provides an introduction to the mathematics underlying computer science. Topics include a review of basic set theory, logic (propositional and predicate), theorem proving techniques, logic as a method for representing information, equivalence relations, induction, combinatorics, and graph theory, and possibly formal languages and automata.