Inhalte der Übungen

Die Vorlesung "Formale Systeme" beschäftigt sich mit den Grundlagen der formalen Sprachtheorie, wie sie in der Vorlesung "Algorithmen und Datenstrukturen" bereits angeklungen ist, der Automatentheorie sowie der Aussagenlogik. In den Übungen wollen wir die Erkenntnisse aus der Vorlesung verstehen, anwenden und festigen.

News

Informationen

Alle für die Lehrveranstaltungen relevanten Informationen findet ihr auf der Website bzw. im OPAL-Kurs. Die Vorlesung wird online stattfinden und von Hannes Straß gehalten. Bei Fragen oder Problemen könnt ihr euch im OPAL-Forum oder dem Matrix-Chat austauschen - oder euch an mich oder an Dörthe Arndt wenden. Mich erreicht ihr auch schnell und problemlos via Telegram @oakoneric.

Übungsmaterial

Die Materialien zur Vorlesung und Übung seitens des Lehrstuhls findet ihr auf der Website der Lehrveranstaltung.

Die in meinen Übungen verwendeten Materialien habe ich größtenteils in meiner Freizeit erstellt. Sie stammen insbesondere nicht vom Lehrstuhl und können damit trotz gründlicher Arbeit noch Fehler enthalten. Die Folien sollen keineswegs den aktiven Besuch der Übungen ersetzen, sondern vielmehr eine Hilfestellung sein um sich während der Übung auf das Verständnis konzentrieren zu können und das Nacharbeiten zu erleichtern. Die Slides und den zugehörigen Latex-Code dazu findet ihr in meinem entsprechenden Github-Repository. Findet ihr einen Fehler in meinen Lösungen, dann fühlt euch eingeladen mir dies mitzuteilen oder direkt selbst mit einem Request zu beheben.

Übungsübersicht

Teil 1: Formale Sprachen & Automatentheorie

Teil 2: Aussagenlogik