Nicht-klassische Logiken

Vorlesung im Sommersemester 2003 (3 SWS)

Dr. Bernhard Beckert

Allgemeine Informationen zur Vorlesung

Diese Vorlesung wendet sich an Studenten im Hauptstudium. Sie gehört zum Vertiefungsgebiet KITE. Thema der Vorlesung sind verschiedene für die Informatik relevante nicht-klassische Logiken. Dazu gehören insbesondere: In der Vorlesung werden Syntax und Semantik dieser Logiken behandelt, wie auch Kalküle zur Deduktion und Anwendungen der Logiken in der Informatik.

Termine

Dienstags, 14:15 Uhr (bis 15:45), H 010
Mittwochs, 14-tägig, 14:15 Uhr (bis 15:45), F 414

Dienstags, 14:15 Uhr, H 010 Mittwochs, 14:15 Uhr, F 414
29.04.---
06.05.07.05.
---14.05.
20.05.21.05.
27.05.---
03.06.04.06.
Pfingsten---
17.06.18.06.
24.06.---
01.07.02.07.
08.07.---
15.07.16.07.
22.07.---
29.07.Ausweichtermin

Folien

Jeweils nach der Vorlesung werden die Folien hier zur Verfügung gestellt.

Literatur

Als Literatur zur Vorlesung empfehle ich das Skriptum zur gleichnamigen Vorlesung von P. Schmitt an der Universität Karlsruhe.

Weitere Informationen: Bernhard Beckert