 | | | | |
Home»Graduate Education»Courses»Graduate Course Descriptions»CSE205A
| | | | | Graduate Course Descriptions
CSE205A - Logic in Computer Science
(Formerly CSE 208D - Revised Fall 2002)
Units: 4
Course Description:
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.
Prerequisites:
CSE 200 or consent of instructor
| | | back to top ^ |
| |
