KIT | KIT-Bibliothek | Impressum | Datenschutz

14: Grundbegriffe der Informatik, Vorlesung, WS 2019/20, 04.12.2019

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

  • 0:00:00 Start
  • 0:00:18 Wiederholung
  • 0:01:51 Kontextfreie Grammatiken
  • 0:04:21 Ableitungen
  • 0:08:36 Grammatiken - In der Praxis
  • 0:11:12 Ableitungsbaum
  • 0:22:24 Beginn Vorlesung
  • 0:24:54 Plan für das weitere Vorgehen
  • 0:45:36 Zusammenfassung
  • 0:46:36 Kapitel 13: Prädikatenlogik erster Stufe
  • 0:49:07 Prädikatenlogische Formeln
  • 0:50:29 Terme
  • 0:57:36 Atomare Formeln
  • 1:03:08 Prädikatenlogische Formeln
  • 1:09:26 Interpretationen
Open Access Logo


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