Introduction to Computational Logic
Core Course (Theoretical Computer Science), 9 credit points
Summer Semester 2010
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 logic and the proof assistant Coq.
- Calculus of constructions
- Inductive types
- Set-theoretic semantics
- Natural deduction
- Modal logic
Lectures are on Wednesdays and Fridays,
10.15–12.00, HS 002 in
Building E1 3
First lecture: Wednesday, April 14, 2010
Last lecture: Friday, July 23, 2010
Tutorial 1 is on Tuesday 08:30-10:00 in room SR 014.
Tutorial 2 is on Tuesday 12:15-13:45 in room SR 015.
The first tutorial is on
Tuesday, April 20, and the last tutorial is on
Tuesday, July 20.
Last Change: Mon Oct 16 13:11:03 2017