Mathematische Logik: Vorlesung 08 (Mi, 17.05.2017)

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Beschreibung:

2. Syntax und Semantik der
Prädikatenlogik
2.1 Strukturen
2.2 Ein Zoo von Strukturen
2.3 Syntax der Prädikatenlogik
2.4 Semantik der Prädikatenlogik

Kapitel:

00:00:06
Syntax und Semantik der Prädikatenlogik
00:01:48
Strukturen
00:07:40
Signaturen
00:14:17
Substrukturen & Erweiterungen
00:20:05
Redukte & Expansionen
00:28:13
Syntax der Prädikatenlogik
00:56:04
Semantik der Prädikatenlogik