COM S 421: Logic for Mathematics and Computer Science
(Cross-listed with MATH). (3-0) Cr. 3.
Prereq: COM S 230 or CPR E 310 or MATH 207 or MATH 301 or MATH 317
Propositional and predicate logic. Topics selected from Horn logic, equational logic, resolution and unification, foundations of logic programming, reasoning about programs, program specification and verification, model checking and binary decision diagrams, temporal logic and modal logic.