EIG: Ableitungen

Folge 27 der Vorlesung Einführung in die Informatik für Geisteswissenschaftler an der Universität Paderborn, Sommersemester 2022.

Abschnitte
00:00 Einleitung
00:30 Eine weitere Beispielgrammatik
03:02 Ableitung von Ausdrücken
08:42 Argumentation als Gegenbeweis
09:50 Syntaxbäume als Alternative zur Darstellung von Ableitungen
14:02 Bäume sind Graphen
15:58 Abschluss