COM S 421: Logic for Mathematics and Computer Science
(Cross-listed with MATH). (3-0) Cr. 3.
Prereq: MATH 301 or MATH 207 or MATH 317 or COM S 230
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.