Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Vorlesung: Theoretische Informatik 1

Wintersemester 2018/2019

News

13. Dezember
Weiter unten auf dieser Seite finden Sie nun den Termin der Abschlussklausur. Die Anmeldung zur Klausur erfolgt(e) über das Prüfungsamt. Weitere Informationen werden in den Wochen vor der Klausur bekanntgegeben.
12. Dezember
Das 5. Übungsblatt und eine aktualisierte Version der Vorlesungsnotizen sind nun online! Update 13. Dezember, 17:00 Uhr: In die Definition der Äquivalenzklassen in Aufgabe 1a) hatte sich ein Fehler eingeschlichen. Bitte laden Sie das Blatt ggf. neu herunter.
28. November
Zusätzlich zu Übungsblatt 4 gibt es nun auch eine neue Version der Vorlesungsnotizen, in der die Kapitel 4 - 6 korrigiert bzw. erweitert wurden! Update 19:50: In der Definition der Endzustände des Automatens, der durch das Eliminieren von internen Transtionen entsteht, war sowohl in den Notizen (Satz 4.3) als auch auf dem Aufgabenblatt (Aufgabe 1) ein Fehler. Bitte laden Sie das Blatt ggf. neu herunter.
24. Oktober
Aufgrund der hohen Teilnehmeranzahl, haben wir eine weitere Übungsgruppe eingerichtet:
  • Gruppe 0: Donnerstag, 9:45 - 11:15 in IZ 305, Tutor: Peter Chini
Diese findet parallel zur Übungsgruppe 1 statt.
24. Oktober
Wir weisen auf den "Lerntreff Theorie" hin, der immer Dienstags von 16:45 - 18:15 in IZ 305 stattfindet. Der Lerntreff richtet sich an Teilnehmer der Bachelor-Theorieveranstaltungen (z.B. Theoretische Informatik 1), die Verständnisfragen zu Vorlesungsinhalten haben oder Hilfe bei ihren Hausaufgaben benötigen. Der Lerntreff wird von Pascal Baumann betreut.
17. Oktober
Das erste Übungsblatt ist nun verfügbar. Geben Sie dieses Blatt bis Donnerstag, 25.10.2018, 14:00 Uhr, durch Einwerfen in die Übungskästen neben Büro IZ 343 ab. Geben Sie in Gruppen von 4 Personen ab. Nutzen Sie z.B. die Veranstaltungen am 22. & 23.10 um sich mit anderen Studierenden aus der selben Übungsgruppe zu Abgabegruppen zusammenzuschließen.
17. Oktober
Tragen Sie sich bis zum 23.10.2018, 12:00 Uhr, auf den Listen, die neben Büro IZ 344 aushängen, für eine der Übungsgruppen ein.
4. Oktober
Die erste Vorlesung findet am Dienstag, dem 16. Oktober, ab 15:00 - 16:30 in PK 2.2 statt.
In dieser Vorlesung werden weitere Details zur Organisation bekannt gegeben.

Organisation

Übungen

Übungsblätter

Die Übungsblätter werden hier online gestellt.

H: Wird hochgeladen am ...
A: Abgabe am Donnerstag, dem ..., um 14:00.
B: Rückgabe und Besprechung in der Woche ...

Bei Fragen zu oder Problemen mit den Übungen wenden Sie sich an Ihren Tutor oder Sebastian.

Vorlesungsnotizen

Der Inhalt der Vorlesung wird weitestgehend mit dem Inhalt der Veranstaltungen aus den vergangenen Jahren übereinstimmen.
Wir bieten geTeXte

Vorlesungsnotizen (Aktualisiert am: 12.12.2018)

an.

Falls Sie Fehler in den Notizen finden, kontaktiere Sie bitte Sebastian.

Zudem gibt es handschriftliche Notizen zu einzelnen Themen der Vorlesung.

Modul

Um das Modul erfolgreich abzuschließen, sind zwei Leistungen zu erbringen:

Abschlussklausur

Literatur