Source: https://lat.inf.tu-dresden.de/teaching/ws2010-2011/Bachelor/
Timestamp: 2018-03-25 04:55:13+00:00

Document:
Formale Systeme (Bachelor-Studiengänge Informatik, Medieninformatik und Informationssystemtechnik)
Formale Systeme (Modul INF-B-270)
(Bachelor-Studiengänge Informatik, Medieninformatik und Informationssystemtechnik)
Informationen zur Prüfungsklausur am 25.07.2011 einschließlich der Einsichtnahme
Am 19.10.2011 (in der Zeit von 10 Uhr bis 11 Uhr im Raum INF 3027) erhalten Studenten die Möglichkeit, in die Klausur vom 25.07.2011 Einsicht zu nehmen. Voraussetzung für die Einsichtnahme ist eine Anmeldung. Zur Anmeldung
Die Prüfungsklausur findet am 25.07.2011, 08.00 Uhr (90 Minuten) im HSZ statt. Es sind keine Unterlagen und Hilfsmittel zugelassen.
Alle Prüfungskandidaten schreiben die Klausur im Hörsaal HSZ/02/E (Hörsaal 02).
Um den pünktlichen Beginn der Klausur abzusichern, ist es notwendig, dass jeder Teilnehmer 10 Minuten vor Beginn (d.h. 7:50 Uhr) im Hörsaal anwesend ist.
Am 8.07.2011 wird in der 2. DS im Raum HSZ 0E01 die Prüfungsklausur vom 23.02.2011 vorgerechnet.
Ein Lernraum wird am 12.07.2011 in der 3. DS im Raum INF/E01 angeboten und betreut.
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.
Skript Formale Systeme Teil 1 - Automatentheorie und formale Sprachen (pdf)
Skript Kapitel 10 - erweiterte Version (pdf)
Vorlesung §0, §1 (pdf)
Vorlesung §3, §4, §5 (pdf)
Vorlesung §6, §7, §8 (pdf)
Vorlesung §14, §15 (pdf)
Vorlesung §16 (pdf)
Vorlesung §17 (pdf)
Vorlesung §18 (pdf)
Vorlesung §19 (pdf)
Ü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.
9. Übungsblatt (pdf) Link zu einem Turingmaschinen-Simulator
14. Übungsblatt (pdf)
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.
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 IV (pdf)
Letzte Änderung: Friday, 23-Dec-2016 11:01:32 CET

References: §0
 §1
 §3
 §4
 §5
 §6
 §7
 §8
 §14
 §15
 §16
 §17
 §18
 §19