Hours: 3 classroom + 0 lab/studio Prerequisite(s):C- or better in MAT 228 or MAT 229. Taught:Fall and spring Propositional and predicate logic; proof techniques; recurrence relations; basic set theory; introduction to graphs, Boolean algebra; finite state machines. Repeatable:No ♦