Seminar Logic, Complexity, Games: Logics for Reasoning about Uncertainty, Dependence and Independence

WS 2019/20

Anmeldung

  • Alle Studierende können sich per Email an seminar [AT] logic.rwth-aachen.de bewerben. Bitte geben Sie dazu Ihren vollständigen Namen, Matrikelnummer, Studiengang, Fachsemester und Ihre Vorkenntnisse (insbesondere an unserem Lehrgebiet besuchte Vorlesungen) an.

Inhalt

We survey logical formalisms that are designed to reason about knowledge or uncertain, unreliable, random or simply unknown data. Thereby we encounter different concepts such as knowledge representation, games with imperfect information and modern logics of dependence and independence.

Literatur

[FaginHMV95] R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, 1995.
[Halpern:2003:RU:954556] J. Y. Halpern. Reasoning About Uncertainty. MIT Press, Cambridge, MA, USA, 2003.

Zuordnung

  • Mathematik (B.Sc.)/Seminare
  • Informatik (B.Sc.)/Seminare
  • Informatik (M.Sc.)/Seminar Theoretische Informatik
  • Mathematik (M.Sc.)/Seminar: Logik, Komplexität, Spiele (Reine Mathematik)

Voraussetzungen

  • Modul Mathematische Logik
  • für B.Sc. Informatik: bestandenes Modul "Einführung in das wissenschaftliche Arbeiten (Proseminar)"

Rückfragen

Erich Grädel, Richard Wilke, Matthias Hoelzel, Katrin Dannert, Benedikt Pago