MATH 4210: Logic for Mathematics and Computer Science
(Cross-listed with COMS 4210).
Credits: 3. Contact Hours: Lecture 3.
Prereq: COMS 2300 or CPRE 3100 or MATH 2070 or MATH 3010 or MATH 3170
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.