50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Logik, Semantik, Wissensrepräsentation



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