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