(1.0 unit)

An introduction to the mathematicological tools used in the study of computer science. Topics include proof techniques, set theory, relations, structural induction, predicate logic, Boolean algebra, logic gates, and automata theory. Students may not count graduation credit for both CS 220 and Math 250. Prerequisite: CS 110 Spring. (Group II) Quantitative