Toggle navigation
Home
Videos
FAQ
Mathematische Logik
: Vorlesung (Mi, 03.05.2023)
Zur Veranstaltungsseite
Anmeldung erforderlich
Benutzername/Passwort
Benutzername
Passwort
Anmelden
RWTH
Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar
Anmelden
Kapitelmarker vorschlagen
Einbetten
Download
1080p (942.0 MiB)
1080p (942.0 MiB)
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
×
Error