[TU Dresden]

Formale Systeme (Modul INF-B-270)

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

Prof. Franz Baader

Zum Inhalt der Lehrveranstaltung
(Bachelor-Studiengänge Informatik, Medieninformatik und Informationssystemtechnik)

Modulbeschreibung

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 zur Prüfungsklausur am 25.07.2011 einschließlich der Einsichtnahme

Informationen zum Beginn der Lehrveranstaltung im WS 2010/2011 am 12.10.2010

Die erste Vorlesung findet am Dienstag, den 12.10.2010, 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 42. Kalenderwoche (zweite Lehrveranstaltungswoche) mit den Übungen laut Plan am 18.10.10. 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.

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)
  • Skript Kapitel 10 - erweiterte Version (pdf)
  • Vorlesung §0, §1 (pdf)
  • Vorlesung §2 (pdf)
  • Vorlesung §3, §4, §5 (pdf)
  • Vorlesung §6, §7, §8 (pdf)
  • 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. Übungsleiter sind: Dr. Monika Sturm, Dr. Anni-Yasmin Turhan, Dipl.-Inf. Sebastian Haufe, Thomas Kühn und Daniel Schröder. 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) Link zu einem Turingmaschinen-Simulator
  • 10. Übungsblatt (pdf)
  • 11. Übungsblatt (pdf)
  • 12. Übungsblatt (pdf)
  • 13. Übungsblatt (pdf)
  • 14. Übungsblatt (pdf)
  • Musterklausur (pdf)

    • Lernraum

    Am 18.02.2011 ist in der Zeit von 9 Uhr bis 12 Uhr der Raum E010 als Lernraum für Formale Systeme geöffnet.

    Repetitorien

    Am 10.12.2010 findet in der 5. DS (14:50 Uhr) im Raum E 023 das Repetitorium I statt. Das Repetitorium II wird am 16.12.2010 in der 4. DS anstelle der Vorlesung (HSZ/003) angeboten. Für beide Veranstaltungen werden die Aufgabenblätter an dieser Stelle veröffentlicht.

    Das Repetitorium III wird am 13.01.2011 in der 4. DS anstelle der Vorlesung (HSZ/003) angeboten. Das Aufgabenblatt beinhaltet die Sternchenaufgaben der Übungsblätter 9 bis 11.

    Das Repetitorium IV wird am 27.01.2011 in der 4. DS anstelle der Vorlesung (HSZ/003) angeboten. Das Aufgabenblatt beinhaltet die Sternchenaufgaben der Übungsblätter 12 bis 14.

  • Aufgabenblatt Repetitorium I (pdf)
  • Aufgabenblatt Repetitorium II (pdf)
  • Aufgabenblatt Repetitorium III (pdf)
  • Aufgabenblatt Repetitorium IV (pdf)

    • Literatur

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

    Letzte Änderung: Friday, 23-Dec-2016 11:01:32 CET