CSE 205A. Logic in Computer Science (4 units)
Link to catalog page: https://catalog.ucsd.edu/courses/CSE.html#cse205a
Description
(Formerly CSE 208D) 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, nonmonotonic reasoning, temporal logic. Applications to databases, automatic theorem proving, program verification, and distributed systems. Prerequisites: CSE 200 or consent of instructor.
Prerequisite courses
Loading...
Successor courses
No courses have CSE 205A as a prerequisite.