Lehr- und Forschungseinheit für Theoretische Informatik,
Institut für Informatik
der Ludwig-Maximilians-Universität München
Hauptstudium Vorlesung: Nichtklassische Logiken (WS03/04)
- Vorlesung:
- Reinhold Letz:
Hauptstudium Vorlesung: Nichtklassische Logiken (3+2)
Vorlesung: Zeit und Ort: Mi. 16.00 - 18.15, Raum 01.11.018
Übung: Zeit und Ort: Do. 16.15 - 17.45, Raum 00.11.038,
Beginn: 13.11.2003
- Vorkenntnisse:
- Grundkenntnisse in Informatik und Logik
- Hörerkreis: :
- Studierende im Hauptstudium der Informatik
- Studierende mit Nebenfach Informatik
- Schein:
- Semestralklausur
zurück zum Inhaltsverzeichnis dieser Seite
Betrachten Sie die folgende Behauptung:
Mein Bruder ist kleiner als einsneunzig.
Nach der klassischen Logik ist dieser Satz entweder wahr oder falsch.
Was aber, wenn ich zwei Brüder habe, einen grösser und
einen kleiner als einsneunzig?
Zur einfachen formalen Darstellung vieler Sachverhalte wie z.B. dem
obigen reicht die klassische (2-wertige) Logik offenbar nicht aus.
Dazu gibt es viele weitere Beispiele aus
dem Bereich der Informatik und deren Anwendungsgebieten,
z.B. die Modellierung von Programmen, die Beschreibung von Systemen
zur Wissensverarbeitung oder die Extraktion von Programmen aus Beweisen.
In dieser Vorlesung wird eine Einführung in wichtige
nichtklassische Logiken gegeben, die die
klassische Logik um neue Konzepte erweitern wie die Mehrwertige Logik
oder die Modallogik und die Temporale Logik.
- Kurze Einführung in klassische Logik:
- Aussagenlogik, Prädikatenlogik, wichtigste Verfahren
(z.B. Tableaukalküle)
- Mehrwertige Logik:
- 3-wertige, mehrwertige, Reduktion auf 2-wertige Logik
- Modallogik:
- u.a. epistemische, deontische -, Kripke-Strukturen,
Korrespondenztheorie, kanonische Modelle,
Reduktion auf Prädikatenlogik, Tableaukalküle, Dynamische Logik
- Temporale Logik:
- Lineare und verzweigende temporale Logik, Model checking
-
L. Bolc und P. Borowik:
Many-Valued Logics I,
Springer, 1992.
-
R. Goldblatt:
Logics of Time and Computation,
Nummer 7 in CSLI Lecture Notes, CLSI,
zweite überarbeitete Auflage, 1992.
-
R.A. Bull und K. Segerberg:
Basic Modal Logic,
in Handbook of Philosophical Logic, Bd. 2,
S. 1-88, Reidel, 1984.
-
M. Fitting:
Basic Modal Logic,
in Handbook of Logic in Artificial Intelligence and Logic
Programming, Bd. 1: Logical Foundations,
S. 368-448, Clarendon Press, 1993.
-
E.A. Emerson: Temporal and Modal Logic, in
Handbook of Theoretical Computer Science, Bd. B: Formal Models
and Semantics,
S. 996-1072, Elsevier, 1992.
Weitere Literatur wird noch bekanntgegeben.
zurück zum Inhaltsverzeichnis dieser Seite
Klassische Logik
Mehrwertige Logik
Modallogik
Model Checking
Blatt 1
Blatt 2
Blatt 3
Blatt 4
Blatt 5
Blatt 6
Blatt 7
Blatt 8
Blatt 9
Blatt 10
Blatt 11 (Besprechung am 12.2.04)