*****COURSES ARE SUBJECT TO CHANGE*****
The applications and uses of formal systems to computer science. Covers the syntax and semantics of propositional logic and first-order logic, normal forms, soundness and completeness theorems, Herbrand's theorem, unification and resolution, foundations of logic programming, automated theorem proving. Other topics may include deductive databases, database query languages, nonmonotonic reasoning. Enrollment restricted to graduate students. Offered in alternate academic years. P. Kolaitis, A. Van Gelder
While the information on this web site is usually the most up to date, in the event of a discrepancy please contact your adviser to confirm which information is correct.