Mathematische Logik: Vorlesung 21 (Do, 13.07.2017)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

Beschreibung:

Unentscheidbarkeit und Modallogik

Kapitel:

00:00:35
Das Postsche Korrespondenzproblem
00:33:10
5 Modallogik, temporale Logiken und monadische Logik
00:33:54
5.1 Syntax und Semantik der Modallogik