Saarland University
Computer Science
Programming Systems
ICL 2004

Main page
Lecture notes
Mailing list

Introduction to Computational Logic

Core Course (Theoretical Computer Science), 9 credit points
Stammvorlesung (Theoretische Informatik), 9 Leistungspunkte

Summer 2004

Prof. Gert Smolka, Marco Kuhlmann (MSc)
Department of Computer Science, Saarland University

Lectures are on Mondays, 11:15–13:00, and Wednesdays, 09:15–11:00, in Building 45, HS 002. The first lecture is on Monday, April 19, and the last lecture is on Wednesday, July 21. Because of Pentecost, there will be no lecture on Monday, May 31.

This semester, the lectures will be given in German.
Dieses Semester wird die Vorlesung auf Deutsch gehalten.


Computational Logic plays an important rôle in many areas of computer science, including Artificial Intelligence, databases, programming languages, and verification of hardware and software. This course lays the foundations for the more advanced core courses Automated Reasoning, Semantics and Verification. The main topics of the course are:

Office hours

Prof. Gert Smolka: Wednesdays, 14:00–15:00
Marco Kuhlmann: Mondays and Wednesdays, 14:00–15:00


2004-10-25: Mit der Nachprüfung ist die Vorlesung jetzt endgültig abgeschlossen.

2004-07-12: Beginn der Anmeldung zur 2. Klausur (Ende: 2004-07-19).

2004-06-06: Klausurergebnisse und Statistiken verfügbar.

2004-05-25: Beginn der Anmeldung zur 1. Klausur (Ende: 2004-06-01).

2004-05-03: Test-Ergebnisse jetzt online verfügbar.

2004-04-26: Überprüfen Sie Ihre Daten.

2004-04-22: Die Termine für die Office Hours stehen jetzt fest.

2004-04-20: Die Anmeldung für die Vorlesung ist jetzt freigeschaltet.

Last Change: Mon Oct 16 13:11:03 2017 |