 | Graduate Course Descriptions
CSE208D - Logic in Computer Science
(Renumbered to CSE 205A - Fall 2002)
Units: 4
Course Description:
Basic material on mathematical logic (as a tool in computer science) for foundations of descriptive complexity, logic programming, non-monotonic reasoning, temporal logic, and reasoning about knowledge and belief. Applications to databases, automatic theorem proving, program verification, and distributed systems.
Prerequisites:
CSE 200 for graduates; CSE 105 for undergraduates.
| |
