Search Results

MATH 421: Logic for Mathematics and Computer Science

(Cross-listed with COM S). (3-0) Cr. 3.

Prereq: MATH 301 or MATH 207 or MATH 317 or COM S 230 or CPR E 310
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.