KIT | KIT-Bibliothek | Impressum | Datenschutz

15: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 06.12.2019

Worsch, Thomas; Zentrum für Mediales Lernen (ZML) [Hrsg.]

  • 0:00:00 Start
  • 0:00:59 Kontextfreie Sprachen
  • 0:09:04 Schnitt kontextfreier Sprachen
  • 0:12:45 Produkt von Relationen
  • 0:18:09 Reflektiv, transitiv
  • 0:26:24 Interpretationen
  • 0:35:52 Allgemeingültige Formeln
  • 0:40:09 Modelle
  • 0:46:21 Vorkommen von Variablensymbolen in Formeln
  • 0:54:07 Substitution
  • 1:08:06 Logische äquivalente Formeln
  • 1:17:58 Großzügige Benutzung von Prädikatenlogik
  • 1:22:53 Eine Zeitreise

Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Audio & Video
Publikationsdatum 09.12.2019
Erstellungsdatum 06.12.2019
Sprache Deutsch
DOI 10.5445/DIVA/2019-959
Identifikator KITopen-ID: 1000117110
Lizenz KITopen-Lizenz
Serie Grundbegriffe der Informatik, Vorlesung, WS 2019/20
Folge 15
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page