FormaleSysteme
FormaleSysteme copied to clipboard
Vorlesung 22 ist ziemlich langweilig
Der Teil zu Äquivalenzen und Normalformen ist nicht sehr unterhaltsam und wiederholt gleichzeitig viele Dinge, die den Studierenden bereits aus anderen Kursen bekannt sind. Eventuell sollte man einiges in der Darstellung beschleunigen und stattdessen interessanteres Material einbringen.