Saarland University
Computer Science
Programming Systems
Teaching
ICL 2005

Main page
Timetable
Literature
Lecture notes
Registration
Services
Exams
Review your data
Mailing list

Introduction to Computational Logic

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

Summer semester 2005 / Sommersemester 2005

Prof. Gert Smolka, Dr. Lutz Straßburger
Department of Computer Science, Saarland University

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

Syllabus

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:

Simply typed lambda calculus: Syntax, semantics, deduction.
Propositional logic: Boolean algebras, completeness and canonicity, BDDs, resolution, sequent calculus, natural deduction and Curry Howard correspondence.
Higher order logic: Higher order Boolean logic, quantifiers, identity, extensionality, axiom of choice.
Dynamic logic and computability: Regular programs, weakest preconditions, invariants, verification conditions, halting problem, theorems of Rice and Gödel.

Office hours

Prof. Gert Smolka: Wednesdays, 14:15–15:15
Dr. Lutz Straßburger: Mondays, 14:15–15:15

News

2005-09-22: Results of the re-exam are online. Exam review (Klausureinsicht) is Friday 2005-09-23 at 13:00.

2005-08-29: Registration for re-exam is online (until 2005-09-14).

2005-05-27: Certificates (Scheine) can be picked up.

2005-05-04: Registration for the final exam is closed.

2005-05-04: Here you can register (until 2005-07-18) for the final exam which takes place on Saturday 2005-07-23. The date of the exam review (Klausureinsicht) for this exam is Monday 2005-07-25 (exact time t.b.a.).

2005-05-25: The date of the exam review (Klausureinsicht) for the midterm exam is Wednesday 2005-06-01 at 16:15.

2005-05-21: Results of mid-term exam are online.

2005-05-11: Change of office hour

2005-05-04: Here you can register for the midterm exam (until 2005-05-16).

2005-04-21: Here you can give anonymous comments.

2005-03-16: Registration for the lecture is online.

2005-02-02: Web page available.

Last Change: Thu 01 Jan 1970 00:00:00 UTC |