KIT | KIT-Bibliothek | Impressum | Datenschutz

Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 07.12.2016, 14

Worsch, Thomas; KIT | Webcast [Hrsg.]

  • 0:00:00 Starten
  • 0:04:48 Neutrale Elemente
  • 0:14:29 Prädikatenlogische Formeln – Beispiele
  • 0:17:15 Interpretationen
  • 0:23:47 val (D,I,ß) - ein Wert für jeden Term und ein Wahrheitswert für jede Formel
  • 0:40:58 Allgemeingültige Formeln
  • 0:46:57 Modelle
  • 0:52:34 Was ist wichtig
  • 0:54:45 Vorkommen von Variablensymbolen in Formeln
  • 1:02:17 Substitutionen
  • 1:14:20 Weitere allgemeingültige Formeln
  • 1:15:42 Kalküle
  • 1:17:43 Axiome
  • 1:21:12 Schlussregeln
  • 1:22:30 Ableitungen – formal gefasst
  • 1:24:49 Beweis – formal gefasst


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