Logic and Discrete Mathematics

3 units

Introduces elements of logic and discrete mathematics that allow reasoning about computational structures and processes. Generally, the areas of discrete structures, proof techniques, and computational models are covered. Topics typically include propositional and predicate logic; sets, relations, functions and graphs; direct and indirect proof methods, induction and recursion; finite state machines and regular languages. Note that this course will be held in-person. *CSE 2400 has mandatory evening exams; the specific days and times will be listed under assessments on the course section once confirmed.