Introduction to Computational Logic
Core Course, 9 credit points
Summer Semester 2012
Prof. Gert Smolka,
Dr. Chad E Brown
Department of Computer Science,
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.
- Calculus of inductive constructions
- Inductive types
- Natural deduction
Lectures are on Wednesdays and Fridays,
Building E2 2 (Günter Hotz).
See also the timetable page.
The first class is on Wednesday, April 18.
Tutorial 1 is on Tuesday 08:15-09:45 in Room SR 016, Building E1 3.
Tutorial 2 is on Tuesday 12:15-13:45 in Room SR 015, Building E1 3.
Tutorial 3 is on Tuesday 16:15-17:45 in Room SR 001, Building E2 1 (Bioinformatik).
The first tutorial is on Tuesday, April 24.
Last Change: Mon Oct 16 13:11:03 2017