CSE205A - Logic in Computer Science



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