CSE 208 D
Logic in Computer Science
Email: vianu@cs.ucsd.edu
Phone: 619-534-6227
The goal of this course it to introduce students to
mathematical logic as a tool in computer science.
After covering some basic material on mathematical logic,
the course will present the 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 will be discussed.