(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 200.4 and Math 250. Prerequisite: CS 110 (Group II) Quantitative