Introduction to Computational Logic

Core Course, 9 credit points

Summer Semester 2011

Prof. Gert Smolka, Dr. Chad E Brown
Department of Computer Science, Saarland University

Syllabus

Computational Logic is an important tool in many areas of computer science, including verification, security, programming languages, databases, and Artificial Intelligence. The course starts with an introduction to higher-order type theory and the proof assistant Coq. Topics include:

Calculus of inductive constructions
Inductive types
Natural deduction
Tableaux
Completeness
Decidability

Lectures

Lectures are on Wednesdays and Fridays, 12.15–14.00, in Building E2 2 (AudiMO). See also the timetable page.

Tutorials

Tutorial 1 (led by Carsten Hornung) is on Tuesday 08:15-09:45 in room SR 014.
Tutorial 2 (led by Steven Schäfer) is on Tuesday 12:15-13:45 in room SR 014.
Tutorial 3 (led by Sigurd Schneider) is on Tuesday 16:15-17:45 in room SR 014.
The first tutorial is on Tuesday, April 19, and the last tutorial is on Tuesday, July 19.

Last Change: Thu 01 Jan 1970 00:00:00 UTC