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.

OWU Units: 1.00. Crosslisting(s): None. Prerequisite(s): CS 110 . Corequisite(s): None. Antirequisite(s): MATH 250 . Fee: None. Core Competency: Reason Formally and Quantitatively. Offered: Spring.