Vorlesung: Theoretische Informatik I
Wintersemester 2017/18 in Braunschweig
News
- 30. August
-
Die Informationen zur Klausur im Sommersemester 2018 finden Sie auf einer Extra-Seite.
- 20. Februar
-
Die Ergebnisse der Abschlussklausur vom 8. Februar sind nun verfügbar:
- 13. Februar
-
Die Klausureinsicht zur Abschlussklausur wird am Mittwoch, dem 21. Februar, ab 17:00 in Raum IZ 358 stattfinden.
- 30. Januar
- 2. Februar
-
Mehr Informationen zur Abschlussklausur sind nun weiter unten auf dieser Seite zu finden.
- 30. Januar
- 31. Januar
-
Die Lösung zum freiwilligen Übungsblatt ist online.
- 30. Januar
-
- 30. Januar
-
Das freiwillige Übungsblatt ist online. Eine Lösung wird morgen hochgeladen.
- 30. Januar
-
Wir weisen darauf hin, dass in der Prüfungsprotokollsammlung der Fachgruppe die Altklausuren verfügbar sind.
- 29. Januar
-
Die (nochmals korrigierte) Lösung zu der PDA-Konstruktions-Aufgabe aus dem Tutorium vom 22.01 gibt es hier. Sorry für das Durcheinander!
- 16. Januar
-
Am Montag, dem 05.02. um 15:00 findet in SN 19.1 eine weitere Großübung statt. Wir werden zusammen eine Altklausur durchrechnen.
- 21. November
-
Die (kleine) Übung am Freitag um 11:30 findet am 24.11.2017 ausnahmsweise in IZ 033 statt.
- 23. Oktober
-
Die (kleine) Übung am Donnerstag um 13:15 wird nicht verschoben.
- 23. Oktober
-
Das erste Übungsblatt (Präsenz-Übungsblatt) ist online.
- 20. Oktober
-
In der nächsten Woche finden zwei Vorlesungen und die kleinen Übungen statt.
In der übernächsten Woche findet die Großübung statt.
- 18. Oktober
-
Das Skript und die handschriftlichen Notizen wurden um Kapitel zu Fixpunkten und Datenflussanalyse ergänzt.
- 18. Oktober
-
Das erste Übungsblatt wird am Montag, dem 30. Oktober herausgegeben und ist bis Montag, dem 6. November 12 Uhr abzugeben.
- 18. Oktober
-
Die ersten Übungsstunden finden am 26. und 27. Oktober statt.
In diesen Übungen wird ein Präsenz-Übungsblatt bearbeitet.
- 18. Oktober
-
Es finden im zweiwöchigen Rhytmus jeweils zwei Vorlesungen pro Woche statt.
Die (kleinen) Übungsstunden finden ebenfalls in der Vorlesungswoche statt.
In den Wochen in denen keine Vorlesung stattfindet, wird es montags um 13:15 eine Großübung/Tutorium in Raum PK 2.2 geben.
Wir werden Fragen zur Vorlesung klären oder Beispiele durchrechnen.
- 18. Oktober
-
Zur Anmeldung für die Übungsgruppen erfolgt über Zettel.
Diese hängen nun im Institut für Theoretische Informatik neben Raum 344 aus.
Bitte tragen Sie sich, wenn Sie an den Übungen teilnehmen wollen, bis Dienstag, den 24. Oktober, 18:00, in eine Übungsgruppe ein.
Eine Liste der angebotenen Termine finden Sie weiter unten auf dieser Seite.
-
- 11. Oktober
-
Die erste Vorlesung findet am Dienstag, dem 17.10.2017 um 15:00 in Raum PK 2.2 statt.
Details zur Organisation, der Großübung und den Übungsgruppen werden in dieser Vorlesung bekannt gegeben.
Organisation
-
Die Vorlesung wird von Prof. Roland Meyer gehalten.
-
Die Vorlesungstermine sind
-
Montag, 13:15 - 14:45 in PK 2.2,
-
Dienstag, 15:00 - 16:30 in PK 2.2.
Großübung
-
Die Großübung findet immer Montag in der vorlesungsfreien Woche um 13:15 - 14:45 in PK 2.2 statt.
Übungen
-
Die Übungen beginnen am 26.10.2017.
-
Die Übungen wird von
Elisabeth Neumann
organisiert.
-
Alle Übungen finden im Gebäude des Instituts für Theoretische Informatik statt. Die Übungstermine sind wie folgt:
- Gruppe 1: Donnerstag, 9:45 - 11:15 in 358, Tutor: Michael Perk
- Gruppe 2: Donnerstag, 11:30 - 13:00 in 305, Tutor: Benedikt Fuhrmann
- Gruppe 3: Donnerstag, 13:15 - 14:45 in 305, Tutor: Niklas Wrege
- Gruppe 4: Freitag, 11:30 - 13:00 in 305, Tutorin: Leonie Basso
- Gruppe 5: Freitag, 13:15 - 14:40 in 358, Tutor: Finn Thieme
-
Es gibt zweiwöchentlich ein Übungsblatt zur Abgabe.
Es wird montags nach der Großübung herausgegeben und ist dann bis montags 12 Uhr in der Folgewoche abzugeben.
Ihre Lösungen reichen Sie bitte in Gruppen von 3 bis 4 Personen ein.
Dazu dient eine Box im Institut für Theoretische Informatik, neben Büro 343.
Die Lösungen werden in den Übungsstunden besprochen.
Vorlesungsnotizen
Wir bieten geTeXte
Vorlesungsnotizen
an.
Zudem gibt es handschriftliche Notizen zu einzelnen Themen der Vorlesung.
Übungsblätter
Die Übungsblätter werden hier online gestellt.
Bitte geben Sie in Gruppen von 3-4 Personen ab.
Zur Abgabe Ihrer Lösungen dient eine Box neben Büro 343 im Institut für Theoretische Informatik, Informatikzentrum, Mühlenpfordtstr. 23.
Bei Fragen zu oder Problemen mit den Übungen wenden Sie sich bitte an Ihren Tutor oder an Elisabeth.
Modul
Um das Modul erfolgreich abzuschließen, sind zwei Leistungen zu erbringen:
- Prüfungsleistung: Schriftliche Abschlussklausur.
- Studienleistung: Es sind 40 Prozent der Übungsaufgaben mit einem Plus ("sinnvoll bearbeitet") zu lösen.
Abschlussklausur
-
Die Abschlussklausur wird am Donnerstag, dem 8. Februar 2018 ab 12:00 Uhr in den Räumen ZI 24.1 und ZI 24.2 stattfinden.
In welchem Raum Sie die Klausur schreiben, hängt vom Anfangsbuchstaben Ihres Nachnamens ab:
- Anfangsbuchstabe A - K in Raum ZI 24.1,
- Anfangsbuchstabe L - Z in Raum ZI 24.2
Die Klausur wird aus zehn Aufgaben bestehen, die Bearbeitungszeit beträgt 120 Minuten.
Zur Klausur darf ein beidseitig beschriebenes (handschriftlich!) DIN A4-Blatt mitgebracht werden.
Literatur
- Schöning: Theoretische Informatik - kurzgefasst.
- Hopcroft, Motwani, Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie.
- Nebel: Formale Grundlagen der Programmierung.
- Sipser: Introduction to the Theory of Computation.
