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, graph theory, formal languages, and automata.

Prerequisites: CSCI 161.