KIT | KIT-Bibliothek | Impressum | Datenschutz

13: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 28.11.2018

Worsch, Thomas; KIT | Webcast [Hrsg.]

  • 0:00:00 Start
  • 0:00:21 Kapitel 12: kontextfreie Grammatiken
  • 0:03:57 Versuch einer formalen Sprache
  • 0:06:27 Lösbarkeit von L
  • 0:09:18 Beweis des Lemmas - Teil 1
  • 0:13:41 Beweis des Lemmas - Teil 2
  • 0:25:01 Was ist wichtig
  • 0:29:05 Kontextfreie Grammatiken
  • 0:49:23 Beispiel
  • 1:02:18 Ableitungsbäume sind übersichtlicher als schrittweise Ableitungen
  • 1:09:49 Arithmetische Ausdrücke
  • 1:19:39 Syntax aussagenlogischer Formeln
  • 1:24:43 Was ist wichtig


Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Audio & Video
Publikationsdatum 29.11.2018
Erstellungsdatum 28.11.2018
DOI 10.5445/DIVA/2018-915
Identifikator KITopen-ID: 1000116098
Serie Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page