16: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 13.12.2017 - a podcast by Karlsruher Institut für Technologie (KIT)

16 |
0:00:00 Starten
0:00:10 Kap13: Prädikatenlogik erster Stufe
0:11:37 Vorkommen von Variablensymbolen in Formeln
0:13:24 freie und gebundene Vorkommen von Variablensymbolen
0:21:02 Substitutionen
0:36:51 Kollisionsfreie Substitutionen für Formeln
0:39:06 Logisch äquivalente Formeln
0:49:36 Weitere allgemeingültige Formeln
0:53:25 Kapitel 14: Der Begriff des Algorithmus (einige grundlegende Aspekte)
0:53:34 Kalkül
0:55:53 Aussagenkalkül
0:56:42 Hilbert-Kalkül
0:59:54 Axiome für Hilbert-Kalkül
1:03:12 Schlussregeln für den Hilbert-Kalkül
1:05:06 Ableitungen - formal gefasst
1:09:30 Beweis - formal gefasst
1:09:55 Hilbert-Kalkül - korrekt und vollständig
1:12:39 Deduktionstheorem - aber nur mit Einschränkungen
1:14:47 Skizze eines Beispiels
1:28:22 Großzügige Benutzung von Prädikatenlogik
1:29:26 Zusammenfassung

Further episodes of Grundbegriffe der Informatik, Vorlesung, WS17/18

Further podcasts by Karlsruher Institut für Technologie (KIT)

Website of Karlsruher Institut für Technologie (KIT)