MATH 210

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.

Prerequisites: CSCI 161 with a grade of C- or higher.