This is a course on logic, from the point of view of Computer Science. The driving idea is to use CS background as a springboard to get deep into parts of logic by recasting them in CS terms. This is a CS course that shows how logic is an integral part of CS (AI, systems, program verification, programming languages), and CS recasts large parts of logic in its own terms: computability, specification, verification, model checking, intelligent systems, automated reasoning.

Topics covered include propositional calculi, predicate calculi, formal number theory, programming logics.


Christoph Kreitz
4158 Upson Hall
Office Hours:
  Thu 2:30-3:30pm
Riccardo Pucella
5151 Upson Hall
Office Hours:
  Tue 2:30-3:30pm

Time: Tue/Thu 10:10-11:25am

Location: HO 306



May 5: I finally received the information about the final. It is Tuesday, May 17th, 9am-11:30am, in Upson 111. It is an open book exam.

Apr 28: Eighth homework posted, due May 5.

Apr 17: Seventh homework posted, due April 26. Furthermore, the lecture on April 19 is cancelled, as I am out of town.

Apr 10: The lecture on Tuesday, April 12, is cancelled, as I am out of town in Chicago; see you Thursday

Previous announcements