| Veranstalter |
|---|
| | Christopher Habel
Rüdiger Valk
|
| Zeit/Ort |
|---|
| | Mo 14-16, Do 14-16 Phil A |
| Inhalt |
|---|
| | Die Vorlesung LOS behandelt die für viele Bereiche der Informatik grundlegenden
Konzepte der Logik und Semantik. Beide Gebiete basieren auf einer gemeinsamen
Konzeption syntaktischer Strukturen, deren Bedeutungen durch Interpretation in
passenden Modellen mathematisch präzise erfasst werden. Als Modelle treten nicht nur
mathematische Strukturen wie Algebren oder Relationengebilde auf, sondern auch
Funktionen oder Rechenabläufe einer (abstrakten) Maschine. Neben den Prinzipien
syntaktischer Spezifikationen werden Verfahren zur Strukturierung, Transformation und
Abbildung der syntaktischen Objekte behandelt. Die Notwendigkeit, die Semantik von
Programmier- und Repräsentationssprachen formal und exakt zu beschreiben, ergibt sich
u.a. aus der Forderung nach sicherer Software. Nur so kann geprüft werden, ob
Informatiksysteme das leisten, was in der Spezifikation gefordert wurde.
Teil I (Logik und Semantik)
- Konsolidierung der im Grundstudium vermittelten Kenntnisse über Aussagen- und
Prädikatenlogik, Beweistheorie - Modelltheorie,
- Vertiefung des Verständnisses an Hand von weiteren Kalkülen (Tableaukalkül)
- Modale Aussagen- und Prädikatenlogik, Zeitlogik auf der Basis von Modallogik,
- Sortenlogik, Typenlogik, Logik höherer Stufen,
- Lambda-Kalkül
|
| Themenübersicht |
|---|
| | (1) | Logik in der Informatik Fassung
vom 2.4.2002 (.pdf)Blatt1 (.pdf) |
| | (2) | Aussagenlogik Fassung
vom 3.4.2002 (.pdf)Blatt2 (.pdf) |
| | (3) | Mehrwertige Logik Fassung
vom 11.4.2002 (.pdf) |
| | (4) | Uniforme Notation Fassung
vom 10.4.2002 (.pdf)Blatt3 (.pdf) |
| | (5) | Aussagenlogisches Tableau Fasssung vom 18.4.2002 (.pdf) |
| | (6) | Korrektheit und Vollständigkeit Fasssung vom 22.4.2002 (.pdf)Blatt4 (.pdf) |
| | (7) | Prädikatenlogik Fassung vom 29.4.02 (.pdf) |
| | (8) | Prädikatenlogik und Konsistenz Fassung vom 29.4.02 (.pdf)Blatt5 (.pdf) |
| | (9) | Prädikatenlogisches Tableau Fassung vom 2.5.02 (.pdf) |
| | (10) | Modallogik Fassung vom 13.5.02 (.pdf)Blatt6 (.pdf) |
| | (11) | Modallogisches Tableau Fassung vom 16.5.02 (.pdf) |
| | (12) | Mehrsortige Logik Fassung vom 27.5.02 (.pdf) |
| | (13) | Lambda Kalkül, Typen Fassung vom 27.5.02 (.pdf) |
| Literatur |
|---|
| |
Es gibt sehr viele Lehrbücher zur Logik, allerdings keines, dass
exakt den in der Vorlesung vorgestellten Stoff umfasst. Gute
Begleitbücher sind:
- Ben-Ari, Mordechai (2001). Mathematical Logic for
Computer Science. Springer: London. (zum Kauf empfohlen)
- Fitting, Melvin (1996). First-Order Logic and Automated
Theorem Proving. Springer: New York. (Leider nicht mehr zu
kaufen, aber in der Bibliothek vorhanden.
- Nerode,
Anil & Richarf A. Shore (1997). Logic for
Application. Springer: New York.
Außerdem gibt es sehr
gute Handbücher zur Logik.
|
