Mathematische Logik: Vorlesung (Mi, 03.05.2023)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:00:10
Syntax und Semantik der Prädikatenlogik
00:07:19
Definition: Struktur in FO
00:09:04
Definition: Signatur
00:36:50
Definition: Substruktur / Erweiterung
00:46:10
Definition: Redukt / Expansion