Formale Systeme

Prof. Dr.-Ing. Franz Baader

Die Lehrveranstaltung "Formale Systeme" ist ein Angebot für Studierende im Studiengang Bachelor Informatik, Bachelor Medieninformatik, Diplomstudiengang Informatik und Bachelor Informationssystemtechnik.

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.

Einsicht zur Wiederholungsklausur vom 03.07.2020

Die Einsicht in die Klausur ist am 29.10.2020 von 13:00 bis 15:00 Uhr im Raum APB/3027 möglich. Falls eine Einsicht gewünscht ist, melden Sie sich bitte unter Angabe Ihrer Matrikelnummer und Ihres Studiengangs bei Anton Claußnitzer, um einen Termin auszumachen. Ohne vorherige Anmeldung ist eine Teilnahme nicht möglich.

Wiederholungsklausur im Sommersemester 2020

Die Wiederholungsklausur wird am 04.08.2020 um 7:30 Uhr in der Turnhalle Nöthnitzer Str. 60 (N60/0001/U, am Haupteingang rechts) als schriftliche Präsenzprüfung mit einer reduzierten Prüfungszeit von 60 Minuten stattfinden. Die Einschreibung erfolgt wieder über jExam (für Informatiker und Medieninformatiker) bzw. HISQIS (für Informationssystemtechniker).

!!! Bitte beachten Sie die wichtigen Hinweise zur Durchführung der Klausur unter Einhaltung der aktuellen Hygienevorgaben der TU Dresden!

Es wird wieder ein Lernraum angeboten, und zwar am 28.07.2020 von 10:00 bis 12:00 Uhr im verlinkten Zoom-Raum (Passwort: #FS@Z00M). Dort können Fragen zum Stoff der Vorlesung und Übungen diskutiert werden. Bitte schicken Sie alle Fragen, die schon vorher auftreten, per E-Mail an Patrick Koopmann, damit ggf. zusätzliches Material (Beispiele, Illustrationen) zur Beantwortung der Fragen vorbereitet werden kann.

Einsicht zur Klausur vom 18.02.2020

Die Einsicht in die Klausur ist jetzt für alle Teilnehmer am 03.07.2020 ab 9:00 Uhr im Raum APB/E023 möglich. Falls eine Einsicht gewünscht ist, melden Sie sich bitte unter Angabe Ihrer Matrikelnummer und Ihres Studiengangs bei Stefan Borgwardt, um einen Termin auszumachen. Ohne vorherige Anmeldung ist eine Teilnahme nicht möglich.

Für die Klausureinsicht sind die allgemeinen Hygienevorgaben des Landes und des Rektors einzuhalten, sowie das Sicherheitskonzept der Fakultät Informatik zu beachten:

• Personen mit COVID-19 ähnlichen Krankheitssymptomen können nicht an der Klausureinsicht teilnehmen.
• Es muss jederzeit ein Mindestabstand von 1,5 m zu anderen Personen eingehalten werden, auch beim Warten auf den Beginn der Einsicht sowie beim Betreten und Verlassen des Raumes.
• Die vordere Tür des Raumes E023 ist ausschließlich als Eingang, die hintere ausschließlich als Ausgang zu nutzen.
• Das Tragen von Mund-Nasen-Bedeckungen ist zunächst optional, allerdings dann verpflichtend, wenn der Mindestabstand von 1,5 m nicht gewahrt werden kann. Insbesondere sollen alle Teilnehmer eine Mund-Nasen-Bedeckung mitbringen, für den Fall, dass konkrete Fragen zur Klausur nicht unter Einhaltung des Mindestabstands geklärt werden können.

Informationen zum Beginn der Lehrveranstaltung im WS 2019/2020 am 14.10.2019

Die erste Vorlesung findet am Montag, den 14.10.2019, in der 3. DS (BAR/SCHÖ), die zweite Vorlesung am Donnerstag, den 17.10.2019, 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, d.h. in der zweiten Lehrveranstaltungswoche des Semesters. Die Einschreibung in die einzelnen Übungsgruppen erfolgt über jExam und ist verbindlich! Für alle Studierenden ist eine Einschreibung ab 10.10.2019 möglich. Sollte es dabei Probleme geben, z.B. weil der Studiengang nicht in jExam integriert ist, wird um eine Meldung per Mail an Dr. Monika Sturm gebeten.

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.

TEIL 1: Automaten und formale Sprachen
• Skript Formale Systeme Teil 1 - Automatentheorie und formale Sprachen
  (Version 11.10.2019)
• Foliensatz §0, §1 (pdf)
  
• Foliensatz §2 (pdf)
  
• Foliensatz §3, §4, §5 (pdf)
  
• Foliensatz §6, §7, §8 (pdf)
  
• Foliensatz §9 (pdf)
  
• Foliensatz §10 (pdf)
  
• Foliensatz §11 (pdf)
  
• Foliensatz §12 (pdf)
  

TEIL 2: Logik in der Informatik
Hinweis: Für diesen Teil der Vorlesung stehen nur die Foliensätze zur Verfügung.

• Foliensatz §13 (pdf)
  
• Foliensatz §14, §15 (pdf)
  
• Foliensatz §16 (pdf)
  
• Foliensatz §17 (pdf)
  
• Foliensatz §18 (pdf)
  
• Foliensatz §19 (pdf)
  

Übungsaufgaben

Übungsaufgaben sind im Vorfeld der jeweiligen Übung auf dieser Seite zu finden und selbstständig auszuarbeiten. In den Übungen erfolgt die Diskussion der studentischen Lösungen. Zur Unterstützung der Übungen werden zusätzliche Repetitorien 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)

Prüfungsklausur

Die Prüfungsklausur Formale Systeme findet am 18.02.2020 in der 3. DS statt. Die Bearbeitungszeit beträgt 90 Minuten. In der Klausur sind KEINE Hilfsmittel zugelassen.

Die Plätze in den Hörsälen sind spätestens 15 Minuten vor Beginn der Prüfung einzunehmen.

Aufteilung der eingeschriebenen Teilnehmer auf die Hörsäle:

• HSZ/AUDI/H Stdg. Bachelor Informatik, Bachelor Medieninformatik, Diplom Informatik
  Nachname A - K
  (Einschreibung über jExam)
• HSZ/03/H Stdg. Bachelor Informatik, Bachelor Medieninformatik, Diplom Informatik
  Nachname L - R
  (Einschreibung über jExam)
• HSZ/02/E Stdg. Bachelor Informatik, Bachelor Medieninformatik, Diplom Informatik
  Nachname S - Z
  (Einschreibung über jExam)
• HSZ/04/H Stdg. Informationssystemtechnik, Mathematik
  Nachname A - Z
  (Einschreibung über HISQIS und PA Mathematik)

An der Klausur dürfen nur Studierende teilnehmen, die ordnungsgemäß eingeschrieben sind. Sollten bei der Einschreibung Probleme auftreten, ist das jeweilige Prüfungsamt zu kontaktieren und der jeweilige Übungsleiter zu informieren.

Studierende, denen vom Prüfungsausschuss ein beantragter Nachteilsausgleich genehmigt wurde, werden gebeten, diesen rechtzeitig am Lehrstuhl anzumelden, damit geeignete Maßnahmen organisiert werden können.

Zur Prüfungsvorbereitung werden Lernräume angeboten. Diese finden

• am 12.02.2020 von 10:00 Uhr bis 11:30 Uhr
  in den Räumen APB/1004, APB/E009, APB/E010 und
• am 13.02.2020 von 13:30 Uhr bis 15:00 Uhr
  in den Räumen APB/E005, APB/E006, APB/E007 statt.

Wichtige Hinweise !!

Am 06.02.2020 findet keine weitere Veranstaltung zum Repetitorium III statt.

Für das Repetitorium III sind zwei Veranstaltungen (Montag, 03.02.2020, 3.DS im Hörsaal BAR/SCHÖ und Donnerstag, 06.02.2020, 4. DS im Hörsaal HSZ/003) vorgesehen. Dr. Stefan Borgwardt stellt Lösungen zu den zusätzlichen Aufgaben (mit Sternchen gekennzeichnet) der Übungsblätter 10 bis 13 vor.

• Repetitorium III (pdf)

Am 30.01.2020 findet KEINE Vorlesung statt.

Die Musterklausur wird am Donnerstag, 23.01.2020 in der 4. DS im Hörsaal HSZ/003 besprochen. Dr. Monika Sturm stellt Lösungen zu den Klausuraufgaben vor.

• Musterklausur (pdf)

Das Repetitorium II wird am Dienstag, 17.12.2019 in der 6. DS im Hörsaal HSZ/002 angeboten. Dr. Patrick Koopmann stellt Lösungen zu den zusätzlichen Aufgaben (mit Sternchen gekennzeichnet) der Übungsblätter 5 bis 9 vor.

• Repetitorium II (pdf)

Das Repetitorium I wird am Dienstag, 10.12.2019 in der 6. DS im Hörsaal HSZ/002 angeboten. Dr. Anton Claußnitzer stellt Lösungen zu den zusätzlichen Aufgaben (mit Sternchen gekennzeichnet) der Übungsblätter 1 bis 4 vor.

• Repetitorium I (pdf)

Die Übung am 20.11., 1.DS, HSZ/204 (Dr. M. Sturm), die wegen Feiertag ausfällt, wird wie verabredet am 27.11. nachgeholt. An diesem Tag finden zwei Übungen (1. und 2. DS) statt.

Am Freitag (15.11.2019) werden die beiden Übungen in der 3. DS zusammengelegt und finden im Raum SCH/A215 statt.

Ab sofort und damit erstmalig am 06.11.2019 findet die Übung mittwochs in der 1. DS im HSZ/204/U statt. Die Übung in der 2. DS im APB entfällt!

Am Mittwoch (30.10.2019) findet die Übung in der 2. DS (Dr. M. Sturm) wie gewohnt im Raum APB/E007 statt, da in diesem Zeitslot kein größerer Raum zur Verfügung gestellt werden kann. In der Übung wird über die weitere Verfahrensweise informiert.

Am 1.11.2019 (einmalig) wird die Übung Freitag 3. DS vom Raum SCH/A252 in den Raum SCH/A215 verlegt. Diese Übung gilt auch als Ersatz für die Übung Donnerstag 5. DS (Dr. S. Borgwardt).

Ab der 44. Kalenderwoche gelten folgende Raumänderungen:

• Die Übung montags, 1. DS SCH/A184/U (K. Linnemann) wird in den Raum APB/E010 verlegt.
• Die Übung dienstags, 1. DS SCH/A185/U (V. Knyrim) wird in den Raum APB/E009 verlegt.

Ab der 45. Kalenderwoche gilt folgende Raumänderung:

• Die Übung donnerstags, 5. DS SCH/A419/U (S. Borgwardt) wird in den Raum APB/E005 verlegt.

Lernraum

Zur Vorbereitung der Klausur in der Prüfungszeit des Wintersemesters wird ein betreuter Lernraum angeboten.

Literatur

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

• Ingo Wegener, Theoretische Informatik - eine algorithmische Einführung, Teubner-Verlag, 1999
• Uwe Schöning, Theoretische Informatik - kurzgefaßt, Spektrum Akademischer Verlag, 2001
• Uwe Schöning, Logik für Informatiker, Spektrum Akademischer Verlag, 2000