|
| News |
|---|
| Achtung: Diese Seite deckt nur die erste Hälfte der Vorlesung ab. |
18.113 Vorlesung Logik und Semantik (LOS)
| VeranstalterInnen | ||
|---|---|---|
| Carola Eschenbach Rüdiger Valk | ||
| Zeit/Ort | ||
| Mo 14 - 16, Do 12 - 14 B-201 | ||
| 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:
| ||