16: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 13.12.2017
- 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
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 14.12.2017 |
| Erstellungsdatum | 13.12.2017 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2017-789 |
| Identifikator | KITopen-ID: 1000115171 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2017/18 |
| Folge | 16 |