Hauptseite

News

03.02.2020	Anmeldung zur Hauptklausur Bitte beachten Sie die folgenden Informationen: Die Punkte aller Übungsblätter sind nun eingetragen und auf der persönlichen Statusseite einsehbar. Sie benötigen mindestens 94 Punkte (inklusive Bonuspunkte) um zur Klausur zugelassen zu sein. Bitte melden... Weiterlesen Bitte beachten Sie die folgenden Informationen: Die Punkte aller Übungsblätter sind nun eingetragen und auf der persönlichen Statusseite einsehbar. Sie benötigen mindestens 94 Punkte (inklusive Bonuspunkte) um zur Klausur zugelassen zu sein. Bitte melden Sie sich bis zum 25.02 auf Ihrer persönlichen Statusseite zur Klausur an, falls Sie mitschreiben möchten. Dies ist aber KEIN Ersatz für eine Anmeldung im HISPOS/VIPA/etc. Beachten Sie für diese die entsprechenden Fristen. Bitte beachten Sie insbesondere, dass seit dem Sommersemester 2019 keine verspätete Anmeldung mehr möglich ist. Sie dürfen einen (!) beidseitig handgeschriebenen DinA4-Zettel für die Hauptklausur mitbringen. (Keine Kopien oder Ausdrucke) Für die Klausuren relevant sind Kapitel 1 bis 27 im Skript (mit Ausnahme der Bonuskapitel), sowie alle Aufgaben der Übungsblätter 1-13 und Präsenzblätter 1-14 (mit Ausnahme von mit mindestens einem Sternchen markierten Aufgaben) Weitere Informationen zur Klausur folgen in Kürze.
27.01.2020	Probeklausur und letzte Office Hours Wir bieten am 20.02 von 12:30 bis 16:00 Uhr im Günter-Hotz-Hörsaal (E2 2, HS 001) eine Probeklausur inklusive anschließender Besprechung an. Melden Sie sich hierzu bitte auf Ihrer Persönlichen Statusseite an, damit wir genug Kopien der Probeklausur ausdrucken... Weiterlesen Wir bieten am 20.02 von 12:30 bis 16:00 Uhr im Günter-Hotz-Hörsaal (E2 2, HS 001) eine Probeklausur inklusive anschließender Besprechung an. Melden Sie sich hierzu bitte auf Ihrer Persönlichen Statusseite an, damit wir genug Kopien der Probeklausur ausdrucken können. Bringen Sie bitte weiterhin eigenes Papier in die Probeklausur mit. Die letzte reguläre Office-Hour findet am 03.02 statt, jedoch bieten wir am 27.02 und 02.03 jeweils von 12:00 bis mindestens 14:00 Uhr in Seminarraum SR 106 in E1 1 noch eine XXL-Office-Hour für letzte Fragen vor der Klausur an.
04.12.2019	Plagiate Aus gegebenem Anlass möchten wir darauf hinweisen, dass Plagiate auf den Übungsblättern selbstverständlich nicht erlaubt sind. Wir behalten uns vor in diesen Fällen 0 Punkte auf die gesamte Abgabe zu geben.
20.10.2019	Übungsgruppen Die Einteilung zu den Tutorien ist nun abgeschlossen. Sie finden Ihr Tutorium nun in Ihrer persönlichen Statusseite.
17.10.2019	Verschiebung der Office Hour Durch eine Kollision mit der Vorlesung "Grundzüge der Algorithmen und Datenstrukturen" wird die Office Hour auf Montags 12-14 Uhr in SR016 verschoben.

Grundzüge der Theoretischen Informatik

Zeit & Datum

Vorlesung:

Mi. 14:15-16:00, E2 2 HS 001 (Günter-Hotz-Hörsaal)
Fr. 8:30-10:00, E2 2 HS 001 (Günter-Hotz-Hörsaal)

Übungen

Jeden Freitag gibt es in der Vorlesung ein Übungsblatt. Dieses muss bis zum darauffolgenden Freitag bearbeitet werden. Die Abgabe erfolgt vor der Vorlesung (also vor 8:30 Uhr) im Hörsaal. Alternativ können Sie ihre Bearbeitung im entsprechenden Briefkasten (Leerung an einem zufälligen Zeitpunkt nach 8:30 Uhr) im Foyer von E1.3 abgeben. Gruppenlösungen sind erlaubt sofern alle Gruppenmitglieder in derselben Übung sind, die maximale Gruppengröße ist 3 Personen. In der jeweils folgenden Woche werden sowohl die Lösungen in der Übungsgruppe besprochen als auch ein Präsenzblatt bearbeitet. Aus der Gruppe soll jede(r) die Lösungen verstanden haben und in der Übung präsentieren können.

Die Anmeldung zu den Übungsgruppen erfolgt vom 14.10 bis 19.10 um 23:59 Uhr über diese Webseite. Die Übungsgruppen beginnen in der zweiten Vorlesungswoche (ab dem 21.10).

Office Hours

Ab dem 24.10 findet jeden Montag von 12:15 bis 14:00 Uhr in SR016 eine Office Hour statt.

Benotung

Als Zulassung zur Haupt- und Nachklausur werden 50% der regulären Punkte aus allen Übungsblättern benötigt.
Die Note ergibt sich als die beste Note aus:

Hauptklausur
Nachklausur

Klausuren

Sie dürfen zur Klausur einen (!) handgeschriebenen DinA4-Zettel mitbringen (beidseitig beschrieben). Keine Kopien und keine Ausdrucke!

Klausurtermine:

Hauptklausur: 3. März, 9-12 Uhr
Nachklausur: 1. April, 9-12 Uhr

Literatur

Es gibt viele sehr gute Bücher zu dem Thema der Vorlesung. Hier finden Sie eine Auswahl:

Michael Sipser, Introduction to the Theory of Computation, PWS
John Hopcroft, Rajeev Motwani & Jeffrey Ullman, Introduction to Automata Theory, Languages, and Computation, Pearson
Harry Lewis & Christos Papadimitriou, Elements of the Theory of Computation, Prentice Hall
Dexter Kozen, Automata and Computability, Springer
Uwe Schöning, Theoretische Informatik - kurzgefasst, Spektrum

Grundzüge der Theoretischen Informatik Markus Bläser

News

Anmeldung zur Hauptklausur

Probeklausur und letzte Office Hours

Plagiate

Übungsgruppen