Mathematical logic as a tool in computer science. Propositional logic, resolution, first-order logic, completeness and incompleteness theorems with computational viewpoint, finite model theory, descriptive complexity, logic programming, non-monotonic reasoning, temporal logic. Applications to databases, automatic theorem proving, program verification, and distributed systems.
CSE 200 or consent of instructor
Formerly CSE 208D - Revised Fall 2002