Formale Systeme
Wintersemester 2011/12
Aktuelle Hinweise
Die FS-Klausur findet für alle Teilnehmer am 08.02.12 13:00-14:30 Uhr im Hörsaalzentrum, Bergstr. 64, im Hörsaal AUDI-MAX statt.
Hinweise zur Klausur:
- alle Taschen, Mäntel und Anoraks sind am Rand des Hörsaals zu deponieren.
- Handys sind auszuschalten und ebenfalls am Rand zu deponieren.
- Bitte nehmen Sie 15 min vor Beginn der Klausur Ihren Platz ein.
- Es sind keinerlei Unterlagen bzw. elektronische Geräte zur Klausur zugelassen.
- Es darf nicht mit Bleistift geschrieben werden.
Vorlesung
dienstags 4.DS [13:00-14:30]
donnerstags 4.DS [13:00-14:30]
erste Vorlesung am Dienstag, 11. Oktober 2011
Die Vorlesungen finden im Raum HSZ/03 statt. Übungen siehe unten.
Anrechnung
Die Vorlesung ist eine Pflichtveranstaltung im Bachelor- und Diplomstudiengang Informatik und im Bachelorstudiengang Medieninformatik (Modul INF-B-270) sowie im Diplomstudiengang Informationssystemtechnik (Modul INF-B-275).
Inhalt
Die Vorlesung beschäftigt sich mit den Grundlagen der theoretischen Informatik und gibt eine Einführung in die Gebiete der formalen Sprachen, der Automatentheorie und der Aussagenlogik.
komplettes Skript
Das Skript steht nun komplett ohne Seitenumbrüche und mit Inhaltsverzeichnis und Index zum Download bereit. Die Lösungen zu den Aufgaben 3.2, 6.5 und 12.4 sind in das Skript integriert.
- Skript Formale Systeme PDF
Skript und Folien
Die jeweiligen Teile des Skriptes sowie die Folien werden hier (nach der jeweiligen Vorlesung) zum Download bereitgestellt.
- 2011-10-11: Skript Teil 1 PDF, Foliensatz der Vorlesung PDF (Kurzfassung PDF)
Teil 1 des Skriptes wurde am 13.10.2011 korrigiert.
- 2011-10-13: Skript Teil 2 PDF, Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2011-10-18: Skript Teil 3 PDF, Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2011-10-20: Skript Teil 4 PDF, Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2011-10-25: Skript Teil 5 PDF, Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2011-10-27: Skript Teil 6 PDF, Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2011-11-01: Skript Teil 7 PDF, Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2011-11-08: Skript Teil 8 PDF, Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2011-11-10: Skript Teil 9 PDF, Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2011-11-15: Skript Teil 10 PDF, Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2011-11-17: Skript Teil 11 PDF, Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2011-11-22: Skript Teil 12 PDF, Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2011-11-29: Skript Teil 13 PDF, Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2011-12-01: Skript Teil 14 PDF, Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2011-12-06: Skript Teil 15 PDF, Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2011-12-08: Skript Teil 16 PDF, Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2011-12-13: Skript Teil 17 PDF, Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2011-12-20: Skript Teil 18 PDF Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2012-01-05: Skript Teil 19 PDF Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2012-01-10: Skript Teil 20 PDF Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2012-01-17: Skript Teil 21 PDF Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2012-01-24: Skript Teil 22 PDF Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2012-01-26: Skript Teil 23 PDF Foliensatz der Vorlesung PDF (Kurzfassung PDF)
- 2012-01-31: Skript Teil 24 PDF Foliensatz der Vorlesung PDF (Kurzfassung PDF)
Übungen
Das
Einschreiben in die einzelnen Übungsgruppen erfolgt über
jExam und ist verbindlich.
Beginn des Übungsbetriebs ist in der Woche vom 17.10.2011.
Übersicht zu den Übungszeiten
| Wochentag |
DS |
Ort |
Übungsleiter |
| montags |
3. DS |
INF/E10 |
Thomas Kühn |
| montags |
4. DS |
INF/E01 |
Thomas Kühn |
| dienstags |
1. DS |
INF/E08 |
Dr. M. Posegga |
| dienstags |
2. DS |
GER/E07 |
Dr. W. Nauber |
| mittwochs |
1. DS |
INF/E08 |
Dr. M. Posegga |
| mittwochs |
2. DS |
INF/E09 |
Paul Nitzsche |
| mittwochs |
6. DS |
BAR/0213 |
Manuela Berg |
| freitags |
1. DS |
INF/E01 |
Marco Voigt |
| freitags |
3. DS |
INF/E06 |
Marco Voigt |
Zu einigen Aufgaben bzw. Aufgabenteilen stehen für die Lösungen Notizen zur Verfügung.
- Blatt 1 (Besprechung: 17.-21.10.2011)
Übungsnotizen zur 1. Übung PDF
- Blatt 3 (Besprechung: 01.-04.11.2011)
Übungsnotizen zur 3. Übung PDF
- (aktualisiert am 03.02.)
- Blatt 4 (Besprechung: 07.-11.11.2011)
Übungsnotizen zur 4. Übung PDF
- Blatt 5 (Besprechung: 14.-18.11.2011)
- Blatt 7 (Besprechung: 28.11.-02.12.2011)
Übungsnotizen zur 7. Übung PDF
- Blatt 8 (Besprechung: 05.-09.12.2011)
Übungsnotizen zur 8. Übung PDF
- Blatt 9 (Besprechung: 12.-16.12.2011)
Übungsnotizen zur 9. Übung PDF
- (aktualisiert am 03.02.)
- Blatt 10 (Besprechung: 12.-19.12.2011 und 5./6.1.2012)
Übungsnotizen zur 10. Übung PDF
- Blatt 11 (Besprechung: 09.-13.01.2012)
- Übungsnotizen zur 11. Übung PDF
- Blatt 12 (Besprechung: 16.-20.01.2012)
- Übungsnotizen zur 12. Übung PDF
- Blatt 13 (Besprechung: 23.-27.01.2012)
- Übungsnotizen zur 13. Übung PDF
- Blatt 14, 2. Teil (Besprechung: 30.-04.02.2012)
- Übungsnotizen zur 14. Übung PDF
- (erster und zweiter Teil)
Mailingliste
Für Fragen und Diskussionen rund um die Vorlesung bezüglich organisatorischer und inhaltlicher Themen existiert eine
Mailingliste. Hörerinnen und Hörer der Vorlesung werden gebeten, sich mit ihrer TU-Adresse auf dieser Liste zu registrieren.
Kontakt
Bei weitergehenden Fragen, welche nicht im Rahmen der Mailingliste beantwortet werden können, wenden Sie sich bitte an
Dr. W. Nauber.
Lernräume
Zur Wiederholung und Vertiefung des Lehrstoffes werden Lernräume (freitags, 14:50-16:20, INF/010 + Nebenraum bzw. am Montag, dem 6.2.12, 10-11:30 Uhr, INF/E08 + E09 + E010) angeboten. Als Unterstützung steht Ihnen eine Lehrkraft zur Konsultation zur Verfügung. Die Teilnahme ist optional. Da die Lernräume geringe Kapazitäten besitzen, ist eine verbindliche Anmeldung erforderlich.
Einschreibung für die Lernräume: Zur Anmeldung für den
03.2.12 (2 Räume) 06.2.12 (3 Räume)
Probeklausur
Probeklausur
Am 2. Februar erfolgt ab 13 Uhr im Hörsaal HSZ/03 die Besprechung der Probeklausur.
Probeklausur mit Lösungen
Kurztests
Zusätzlich bieten wir insgesamt vier Kurztests an, die den Studierenden einen Einblick vermitteln sollen, wie gut der bisher behandelte Stoff verstanden wurde. Die Teilnahme an den Kurztests ist optional.
Die Kurztests dauern jeweils 40 Minuten. Sie werden während der Vorlesungszeit durchgeführt und nach einer kurzen Pause besprochen. Es sind keine Unterlagen zugelassen.
4. Kurztest mit Lösungen
3. Kurztest mit Lösungen
2. Kurztest mit Lösungen
1. Kurztest mit Lösungen
