Mathematische Logik II: Vorlesung (Mi, 27.01.2021)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:00:05
Wiederholung mu-Kalkül
00:48:45
Negation und Dualität
00:56:31
Einbettung von L_mu in andere Logiken
01:22:44
Ende der Vorlesung