KIT | KIT-Bibliothek | Impressum | Datenschutz

14: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 06.12.2017

Stüker, Sebastian; KIT | Webcast [Hrsg.]

  • 0:00:00 Starten
  • 0:03:00 Prädikatenlogische Formeln
  • 0:09:54 Terme
  • 0:22:17 Atomare Formeln
  • 0:33:04 Prädikatenlogische Formeln
  • 0:39:37 Was ist wichtig
  • 0:40:40 Interpretationen
  • 0:45:55 Val
  • 1:03:16 Allgemeingültige Formeln
  • 1:13:29 Modelle
  • 1:19:09 Was ist wichtig
  • 1:19:53 Vorkommen
  • 1:21:45 freie und gebundene Vorkommen
Open Access Logo


Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Audio & Video
Publikationsdatum 07.12.2017
Erstellungsdatum 06.12.2017
DOI 10.5445/DIVA/2017-754
Identifikator KITopen-ID: 1000115137
Lizenz KITopen-Lizenz
Serie Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Folge 14
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page