Mathematische Logik: Vorlesung 08

Mathematische Logik: Vorlesung 08 (Mi, 17.05.2017)

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

Anmelden

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

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