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, 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 logic and the proof assistant Coq. Topics include:

Calculus of constructions
Inductive types
Set-theoretic semantics
Natural deduction
Tableaux
Completeness
Decidability
Modal logic
BDDs

Lectures

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

Tutorials

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: Thu 01 Jan 1970 00:00:00 UTC