Saarland University
Computer Science
Programming Systems
ICL 2009

Main page
Lecture notes
Exams and Grade
Discussion Board

Introduction to Computational Logic

Core Course (Theoretical Computer Science), 9 credit points

Summer Semester 2009

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


Computational Logic is an important tool in many areas of computer science, including verification, programming languages, databases, and Artificial Intelligence. The course is an introduction to computational logic providing notions and techniques for advanced courses and research. It starts with simply typed higher-order logic and treats first-order predicate logic and modal logic as sublanguages of higher-order logic. Topics include:

Registration (Closed)

Students must register with us and with HISPOS (the University's system). You must register with us in order to take part in the tutorials and exams. If you have not yet registered and still wish to take the course, please send an email to Chad E Brown. If you decide later to unregister, you must make sure you unregister with HISPOS and should send an email to Chad E Brown.

When and Where

Lectures are on Wednesdays, 10:15–12:00, and Fridays, 10:15–12:00, in Building E1.3, HS 002. The first lecture is on Wednesday, April 22, and the last lecture is on Friday, July 31. There will be three tutorial sections. Tutorial 1 is on Tuesday 14:15-15:45 in room SR 016. Tutorial 2 is on Tuesday 16:15-17:45 in room SR 016. Tutorial 3 is on Tuesday 16:15-17:45 in room HS 003. The first tutorial is on Tuesday, April 28, and the last tutorial is on Tuesday, July 28. There will be no class on May 1.
Last Change: Thu 01 Jan 1970 00:00:00 UTC