 |
| Wir freuen uns über zu diesen Seiten. |
|
|
|
|
64-300 Vorlesung: FGI 3 - Logik
Wintersemester 2008/09 |
| Veranstalter |
| Christopher Habel,
Carola Eschenbach
|
| Zeit/Ort |
| Mo 14-16 D-125 und D-129, Beginn: 20.10.08 |
| 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:
Vorlesung 64-301, Seminar 64-302. Die Zulassung zur Modulprüfung setzt die regelmäßige
und erfolgreiche (Seminararbeit und Referat) Teilnahme an dem integrierten Seminar
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 64-301 im Diplomstudiengang Informatik als Grundlagenvorlesung LOS
anrechenbar (Übergangsregelung). Für Diplomstudierende wird eine Prüfung über den
Stoff der beiden Vorlesungen angeboten.
|
|
| Literatur |
|
Allgemeine Lehrbücher
- 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.
|
Mehrwertige Logik
- Urquhart, Alasdair (1986). Many-valued logic. In D. Gabbay & F. Guenthner
(eds.) Handbook of Philosophical Logic. Alternatives in Classical Logic, Vol. III
(pp. 71-116). Reidel: Dordrecht.
- Hähnle, Reiner (1999). Tableaux for many-valued logics. In M. D'Agostino, D.M.
Gabbay, R. Hähnle & J. Posegga (eds.) Handbook of Tableau Methods (pp.
529-580). Kluwer Academic Publishers: Dordrecht.
- Carnielli, Walter A. (1987). Systematization of finite many-valued logics through
the method of tableaux. Journal of Symbolic Logic 52. 473-493.
|
|
| Folien |
|
|
| Links |
|
|
|
