Theoretische Informatik: Automaten und formale Sprachen

Wintersemester 2018/19

bei Prof. Dr. Sibylle Schwarz

Pflichtmodul 3010 im 3. Semester Bachelor Informatik,
Wahlpflichmodul für Bachelor Medieninformatik


Aktuelles

Bitte im Opal-Kurs zum Modul einschreiben, das ist bis zum 4.11.2018 möglich.


Lernziele / Kompetenzen

Die Studierenden sind in der Lage, wichtige Klassen formaler Sprachen als Grundlage von Programmier- und Beschreibungssprachen einzuordnen und kennen die wesentlichen Eigenschaften der Sprachklassen.
Sie kennen die entsprechenden abstrakten Maschinenmodelle und Algorithmen und können sie zur Darstellung und Lösung praktischer Aufgabenstellungen einsetzen. Die Studierenden wissen, dass nicht jedes formal darstellbare Problem algorithmisch lösbar ist.


Inhalt


Vorlesung

Wöchentlich findet eine Vorlesung statt.


Übungen

Jeder Student ist einer Übungsgruppe zugeordnet und nimmt an der wöchentlich stattfindenden Übung dieser Gruppe teil.

In den Übungen werden vorwiegend die Lösungen der schriftlichen Hausaufgaben besprochen und damit die Zulassungen zur Prüfung erworben.


Übungsaufgaben

Das Selbststudium zum Modul besteht aus
Vor- und Nachbereitung
jeder Vorlesung und Übung,
praktischen Übungsaufgaben:
wöchentlich als Hausaufgaben im Autotool zu bearbeiten.
schriftlichen Übungsaufgaben:
wöchentlich als Hausaufgaben im Opal-Kurs zum Modul einzusenden.
Nicht rechtzeitig dort eingesendete Lösungen der schriftlichen Aufgaben können nicht gewertet werden.

Praktische Übungsaufgaben gibt es als Hausaufgaben im Autotool.


Literaturempfehlungen

Folien zur aktuellen Vorlesung: (werden jeweils nach der Vorlesung veröffentlicht):

Die vollständigen Unterlagen zum Modul Theoretische Informatik: Automaten und formale Sprachen im WS 2017/18 stehen hier.

Bücher:

Unter http://wilfridhodges.co.uk/cognitive01.pdf gibt es sieben uneingeschränkt richtige Hinweise zum Lernen von Mathematik, die selbstverständlich genauso für die theoretische Informatik gelten.


http://www.imn.htwk-leipzig.de/~schwarz mailto:sibylle.schwarz@htwk-leipzig.de