Type and Content |
| Title: |
Logik, Semantik, Wissensrepräsentation |
| Lecturer: |
Völzer |
| Classification: |
Pflichtvorlesung Master Informatik |
| Content: |
- Prädikatenlogik, Logiken höherer Ordnungen
- Temporale Logiken, Modal-Logiken
- operationelle, donationelle und algebraische Semantik
- Semantik von Programmiersprachen, Programmeigenschaften
- Methoden zur Darstellung von Wissen
- Anwendung logischer Kalküle
|
| Literature: |
- E. Best: Semantik, Theorie sequentieller und paralleler Programmierung, Vieweg 1995
- M. Ben-Ari: Mathematical Logic for Compuer Science, Springer New York 2001
- H.D. Ebbinghaus, J. Flum, W. Thomas: Einführung in die mathematische Logik, BI-Wissenschaftsverlag 1992
- H. Kleine Büning, T. Lettmann: Aussagenlogik: Deduktion und Algorithmen, Teubner 1994
- H.D. Ebbinghaus, J. Flum: Finite Model Theory, Springer Heidelberg 1995
- Z. Manna, A. Pnueli: The Temporal Logic of Reactive and Concurrent Systems – Specifications, Springer New York 1992
- R.A. Huth, M.D. Ryan: Logic in Computer Science, Modelling and Reasoning about Systems, Cambridge University Press 2000
- G. Winskel: Formal Semantics of Programming Languages, MIT Press 1993
- R. Olerog, B. Steffen: Correct System Design, Springer Heidelberg 1998
- W. Bibel: Wissensrepräsenation und Inferenz, Vieweg 1993
|
| Voraussetzung: |
Modul Spezifikation und Verfikation. |
Lecture |
| Lecturer: |
Völzer |
| Hours: |
2 SWS, 4 ECTS |
| Dates: |
Fr 10:00 – 12:00, ITCS-Seminarraum 21, 2. OG. Geb. 64 |
Exercise |
| Hours: |
1 SWS |
| Dates: |
Fr. 12:00 – 13:00 ITCS-Seminarraum 21. 2. OG. Geb. 64 |
| Exercises: |
Nur Uniintern zugreifbar
|
