Mathematische Logik: Vorlesung 16

Mathematische Logik: Vorlesung 16 (Mi, 28.06.2017)

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

Anmelden

4 Vollständigkeitssatz, Kompaktheitssatz, Unentscheidbarkeit
4.1 Der Sequenzenkalkül
4.2 Der Vollständigkeitssatz

00:00:00	4. Vollständigkeitsatz, Kompaktheitssatz und Unentscheidbarkeit der Prädikatenlogik
00:01:27	4.1 Der Sequenzenkalkül
00:27:34	Beispiel zum Sequenzenkalkül in FO
01:01:33	4.2 Der Vollständigkeitssatz