Theoretische Informatik: Automaten und formale Sprachen

Wintersemester 2017/18

bei Prof. Dr. Sibylle Schwarz

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


Prüfung

Klausur (90 min) am Mittwoch, dem 31. Januar 2018 um 8:00-10:00 Uhr in N001

(einzige) zugelassene Hilfsmittel: ein A4-Blatt beidseitig handbeschrieben

Zur Prüfung ist zugelassen, wer alle folgenden Bedingungen erfüllt:

  1. wenigstens drei Punkte für Kurzvorträge zu Hausaufgaben (Vorrechnen) in den Übungen
  2. wenigstens die Hälfte aller Punkte für autotool-Pflichtaufgaben (12)


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.

  1. Serie bis 16. 10. 2017
  2. Serie bis 23. 10. 2017
  3. Serie bis 1. 11. 2017
  4. Serie bis 8. 11. 2017
  5. Serie bis 13. 11. 2017
  6. Serie bis 23. 11. 2017
  7. Serie bis 27. 11. 2017
  8. Serie bis 6. 12. 2017
  9. Serie bis 11. 12. 2017
  10. Serie bis 3. 1. 2018
  11. Serie bis 8. 1. 2018
  12. Serie bis 17. 1. 2018
  13. Serie bis 22. 1. 2018

Praktische Übungsaufgaben gibt es als Hausaufgaben im Autotool. (Hinweise für Autotool-Neulinge)


Literaturempfehlungen

Alle Folien

Folien zur aktuellen Vorlesung:

Die vollständigen Unterlagen zum Modul Theoretische Informatik im WS 2016/17 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:schwarz@imn.htwk-leipzig.de