 |
| Wir freuen uns über zu diesen Seiten. |
|
|
|
|
18.300 Vorlesung: FGI 3 - Logik
Wintersemester 2007/08 |
| Veranstalter |
| Carola Eschenbach
|
| Zeit/Ort |
| Di 12-14 B-201, Beginn: 23.10.07 |
| KVV-Eintrag |
| Inhalt |
| Eigenschaften verschiedener Logiken, insbesondere verschiedener entscheidbarer Fragmente
der Prädikatenlogik. Entscheidungsverfahren basierend auf Tableau-Methoden. Grundprinzipien
der Definition logischer Systeme. Aneignung von wichtigen Techniken für die Analyse und das
Verständnis der Spezifikation von Informatiksystemen.
- Konsolidierung der im Bachelor-Studiengang (oder Grundstudium) vermittelten
Kenntnisse über Aussagen- und Prädikatenlogik, Beweistheorie - Modelltheorie
- Vertiefung des Verständnisses an Hand von weiteren Kalkülen (Tableaukalkül)
- Modale Aussagenlogik, Zeitlogik auf der Basis von Modallogik, Beschreibungslogiken
- Sortenlogik, Logik höherer Stufen
- Typtheorie, Lambda-Kalkül
|
|
| Verwendbarkeit |
|
- Teil des
Masterpflichtmoduls MPM1. Weitere Veranstaltungen dieses Moduls:
18.301, 18.302. Die Zulassung zur Modulprüfung setzt die regelmäßige und
erfolgreiche (Seminararbeit und Referat) Teilnahme an dem integrierten Seminar
"Beschreibungslogiken"
voraus. Die Modulprüfung findet als Modulabschlussprüfung in Form einer mündlichen
Prüfung (über die Gesamtinhalte der beiden Vorlesungen und des Seminars) in der
Unterrichtssprache statt.
- Gemeinsam mit 18.301 im Diplomstudiengang Informatik als Grundlagenvorlesung LOS
anrechenbar (Übergangsregelung). Für Diplomstudierende wird eine Prüfung über den
Stoff dieser Vorlesung und den der Vorlesung "Semantik
der Programmierung" angeboten.
|
|
| Literatur |
|
- Fitting, Melvin (1996; 2nd). First-order logic and automated theorem proving. New
York: Springer-Verlag.
- Ben-Ari, Mordechai (2001). Mathematical Logic for Computer Science. London:
Springer.
- Nerode, Anil & Richard A. Shore (1997). Logic for Application. New York:
Springer.
|
|
| Folien |
| Die Foliensätze, die hier zu Beginn des Semesters zu finden sind, entsprechen zum Teil
dem Stand des ersten Teils der Vorlesung "LOS" des letzten Semesters. Im Laufe des Semesters
füge ich aktualisierte Fassungen und auch Übungsunterlagen hier ein.
Wenn man die pdf-Dateien unter Unix mit einer alten Version von Acrobat ausdruckt,
kann es passieren, dass die Symbole nicht korrekt gedruckt werden. Mit der Version 7 klappt
es aber.
Gesamter Foliensatz der Folien aus dem Sommer (.pdf
21.5.2007)
|
| Links |
|
|
|
