Saarland University
Computer Science
Programming Systems
Teaching
ICL 2004


Main page
Timetable
Literature
Lecture notes
Registration
Services
Exams
Mailing list

Introduction to Computational Logic

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

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.

Syllabus

• Foundations: Sets, induction, recursion, fixpoints.
• Equational Logic: Syntax, semantics, deduction.
• Propositional Logic: Boolean algebras, Boolean functions, compactness, BDDs, resolution.
• Type Theory: Simply typed lambda calculus, Curry Howard Correspondence, higher order predicate logic.
• Hoare Logic: Regular programs, weakest preconditions, Hoare rules, verification conditions.
• Computability: Theorems of Rice and Gödel.

Office hours

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

News

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.