50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Logik, Semantik, Wissensrepräsentation



Art und Inhalt

Titel: Logik, Semantik, Wissensrepräsentation
Veranstalter: Völzer
Einordnung: Pflichtvorlesung Master Informatik
Inhalt:
  • 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
Buchempfehlungen:
  • 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.

Vorlesung

Veranstalter: Völzer
Umfang: 2 SWS, 4 ECTS
Termine: Fr 10:00 – 12:00, ITCS-Seminarraum 21, 2. OG. Geb. 64

Übung

Umfang: 1 SWS
Termine: Fr. 12:00 – 13:00 ITCS-Seminarraum 21. 2. OG. Geb. 64
Übungsblätter: Nur Uniintern zugreifbar