KIT | KIT-Bibliothek | Impressum | Datenschutz

16: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 13.12.2017

Worsch, Thomas; KIT | Webcast [Hrsg.]

  • 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
Open Access Logo


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Audio & Video
Publikationsdatum 14.12.2017
Erstellungsdatum 13.12.2017
DOI 10.5445/DIVA/2017-789
Identifikator KITopen-ID: 1000115171
Serie Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page