[TU Dresden]

Formale Systeme

Technische Universität Dresden
Institut für Theoretische Informatik
Lehrstuhl für Automatentheorie

Prof. Franz Baader

Zum Inhalt der Lehrveranstaltung
(Modul INF-B-270,INF-B-275, INF-LE-EUI, IST-05-PF-HS)

Modulbeschreibung Bachelor Informatik

Die Lehrveranstaltung wird in einem Stundenumfang von vier SWS Vorlesung und zwei SWS Übung pro Woche angeboten. Alle Termine und Angaben zu den Räumen können dem Stundenplan der Fakultät entnommen werden.

Informationen zum Beginn der Lehrveranstaltung im WS 2013/2014 am 14.10.2013

Die erste Vorlesung findet am Montag, den 14.10.2013, in der 3. DS (HSZ/002), die zweite Vorlesung am Donnerstag, den 17.10.2013, in der 4. DS (HSZ/003) statt. Zu den Modalitäten des Übungsbetriebes (Einschreibpflicht) wird in der ersten Vorlesung informiert. Der Übungsbetrieb beginnt in der 43. Kalenderwoche (zweite Lehrveranstaltungswoche des Semesters) mit den Übungen laut Plan am 21.10.13. Die Einschreibung in die einzelnen Übungsgruppen erfolgt über jExam und ist verbindlich.

Es besteht die Möglichkeit, inhaltliche und organisatorische Fragen zur Lehrveranstaltung innerhalb einer Mailingliste zu diskutieren.

Informationen zur Organisation der Prüfungsklausur am 12.08.2014 (Beginn 14:50 Uhr)

Die Prüfungsklausur findet für alle Studenten im HSZ/AUDIMAX statt. An der Klausur dürfen NUR Studenten teilnehmen, die auch für diese Prüfung eingeschrieben sind! Es ist zu beachten, dass die Plätze im Hörsaal bis 10 Minuten vor Klausurbeginn, d.h. spätestens bis 14.40 Uhr, einzunehmen sind.

Am 04.08.2014 werden in der Zeit von 16:30 Uhr - 18:00 Uhr in den Räumen INF/E005, INF/E006 und INF/E007 Lernräume angeboten. Die teilnehmenden Studierenden können sich in dieser Zeit auf die Prüfung vorbereiten und bei Bedarf ihre Fragen stellen. Alle drei Lernräume werden betreut.

  • Am 17.10.2014 (Raum INF 3027) erhalten Studenten die Möglichkeit, in die Klausur vom 12.08.2014 Einsicht zu nehmen. Voraussetzung für die Einsichtnahme ist eine Anmeldung.
    Zur Anmeldung

    Informationen zur Prüfungsklausur am 14.02.2014

    Lehrmaterial und Vorlesungsfolien

    Vorlesungsunterlagen werden an dieser Stelle aktuell zur Verfügung gestellt, d.h. rechtzeitig vor dem Termin, an dem die Vorlesung gehalten wird.

  • Skript Formale Systeme Teil 1 - Automatentheorie und formale Sprachen (pdf)
  • Vorlesung §0, §1 (pdf)
  • Vorlesung §2 (pdf)
  • Vorlesung §3, §4, §5 (pdf)
  • Vorlesung §6, §7, §8 (pdf) Version 20_11_2013
  • Vorlesung §9 (pdf)
  • Vorlesung §10 (pdf)
  • Vorlesung §11 (pdf)
  • Vorlesung §12 (pdf)
  • Vorlesung §13 (pdf)
  • Vorlesung §14, §15 (pdf)
  • Vorlesung §16 (pdf)
  • Vorlesung §17 (pdf)
  • Vorlesung §18 (pdf)
  • Vorlesung §19 (pdf)

    Übungsaufgaben

    Übungsaufgaben sind im Vorfeld der jeweiligen Übung auf dieser Seite zu finden und selbständig auszuarbeiten. In den Übungen erfolgt die Diskussion der studentischen Lösungen. Zur Unterstützung der Übungen werden zusätzliche Repetitorien (insgesamt vier Termine) angeboten. Informationen zur Organisation und zum Inhalt der Repetitorien werden rechtzeitig an dieser Stelle bekanntgegeben.

  • 1. Übungsblatt (pdf)
  • 2. Übungsblatt (pdf)
  • 3. Übungsblatt (pdf)
  • 4. Übungsblatt (pdf)
  • 5. Übungsblatt (pdf)
  • 6. Übungsblatt (pdf)
  • 7. Übungsblatt (pdf)
  • 8. Übungsblatt (pdf)
  • 9. Übungsblatt (pdf)
  • 10. Übungsblatt (pdf)
  • 11. Übungsblatt (pdf)
  • 12. Übungsblatt (pdf)
  • 13. Übungsblatt (pdf)
  • 14. Übungsblatt (pdf)
  • 15. Übungsblatt (pdf)

    Die Übung am 24.01.2014 in der 3.DS im Barkhausenbau (Übungsleiter Walter Forkel) findet in dieser Woche im Willersbau, Raum B122 statt.

    Lernraum

    Am 10.02.2014 werden in der 1.DS in den Räumen INF-E-006, INF-E-007, INF-E-009 und INF-E-010 Lernräume angeboten. Die teilnehmenden Studierenden können in dieser Zeit sich auf die Prüfung vorbereiten und bei Bedarf ihre Fragen stellen.

    Musterklausur

    Die Musterklausur wird am 23.01.2014 in der 4.DS im HSZ HS 003 und am 27.01.2014 in der 3.DS im HSZ 002 vorgerechnet.

  • Aufgabenblatt Musterklausur (pdf)

    • Repetitorien

    An dieser Stelle werden die Termine und Aufgabenblätter für die Repetitorien (I,II,III) veröffentlicht.

  • Das Repetitorium I findet am 06.12.2013 in der 5.DS im Raum E023 statt.
  • Aufgabenblatt Repetitorium I (pdf)

  • Das Repetitorium II findet am 13.12.2013 in der 5.DS im Raum E023 statt.
  • Aufgabenblatt Repetitorium II (pdf)

  • Das Repetitorium III findet am 30.01.2014 in der 4.DS im Raum HSZ 003 statt.
  • Aufgabenblatt Repetitorium III (pdf)

  • Das Repetitorium IV findet am 03.02.2014 in der 3.DS im Raum HSZ 002 statt.

  • Aufgabenblatt Repetitorium IV (pdf)

  • Das 15. Übungsblatt wird am 06.02.2014 in der 4.DS im Raum HSZ 003 vorgerechnet.

    • Literatur

    Die hier aufgeführte Literatur kann über den WebOPAC der SLUB gefunden werden.

    Letzte Änderung: 02.10.2013