Education
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