• 07.10.2015: Die Nachklausur ist korrigiert. Sie können Ihren Punktestand im KVV einsehen. Die Benotung erfolgt nach diesem Schema. Die Klausureinsicht findet statt am Mittwoch, den 14. 10. 2015, von 11–12 Uhr im SR 049. Dort kann auch die erste Klausur noch einmal eingesehen werden.
• 05.10.2015: Am 07.10.2015 findet von 12–14 Uhr die Nachlausur statt. Außer Schreibutensilien ist lediglich ein beidseitig handbeschriebenes DIN-A4 Blatt als Hilfsmittel erlaubt. Bitte bringen Sie ein Personaldokument mit Lichtbild sowie Ihren Studierendenausweis mit. Wir treffen uns im großen Hörsaal Informatik. Bitte bis 12:05 Uhr die Plätze einnehmen. Klausurbeginn um 12:15 Uhr.
• 27.08.2015: Katharina Klost und Justus Pfannschmidt bieten ein Vorbereitungstutorium für die Nachklausur an. Es findet statt am Donnerstag den 01.10.2015, um 10 Uhr im SR 055.
• 22.07.2015: Die Punkte für die Klausur wurden im KVV gemäß der Ergebnisse der Klausureinsicht korrigiert. Bitte überprüfen Sie das Ergebnis.

  Die Nachklausur findet statt am Mittwoch, den 07.10.2015, von 12 bis 14 Uhr. Bitte melden Sie sich im KVV dazu an, falls Sie teilnehmen möchten.

  Vor der Nachklausur werden die Tutoren eine Vorbereitungsveranstaltung anbieten. Details werden zu gegebener Zeit bekannt gegeben.

• 17.07.2015: Die Klausur ist korrigiert. Sie können Ihre Punkte im Online-KVV einsehen. Die Benotung erfolgt nach diesem Schema. Die Klausureinsicht findet statt am Mittwoch, den 22.07.2015, um 11 Uhr st, im SR 055. Der Termin für die Nachklausur wird nächste Woche bekannt gegeben.
• 13.07.2015: Die Raumaufteilung für die Klausur ist bekannt gegeben: Nachnamen A–K schreiben im Hörsaal A, Nachnamen L–Z schreiben im Hörsaal C des Henry-Ford-Baus.
• 01.07.2015: In der nächsten Woche, am 06.07 und 08.07., findet keine Vorlesung statt.
• 30.06.2015: Am 15.07.2015 findet von 10–12 Uhr die Klausur statt. Bitte melden Sie sich bis zum 12.07.2015 im Online-KVV zur Klausur an, falls Sie teilnehmen möchten. Außer Schreibutensilien ist lediglich ein beidseitig handbeschriebenes DIN-A4 Blatt als Hilfsmittel erlaubt. Bitte bringen Sie ein Personaldokument mit Lichtbild sowie Ihren Studierendenausweis mit. Die Klausur findet statt in den Hörsälen A und C des Henry-Ford-Baus, Garystraße 35–37. Die Aufteilung wird noch bekannt gegeben. Bitte bis 10:05 Uhr die Plätze einnehmen. Klausurbeginn um 10:15 Uhr.
• 24.06.2015: Wegen der AlP2-Klausur beginnt am Mittwoch, den 01.07.2015, die Vorlesung um 10:00 st.
• 24.06.2015: Das zehnte Aufgabenblatt ist verfügbar. Dies ist das letzte Aufgabenblatt.
• 15.06.2015: Die Probeklausur ist verfügbar.
• 10.06.2015: Das neunte Aufgabenblatt ist verfügbar. Dies ist das vorletzte Aufgabenblatt. Aufgrund der Probeklausur ist der Bearbeitungszeitraum eine Woche länger als üblich.
• 03.06.2015: Das achte Aufgabenblatt ist verfügbar.
• 01.06.2015: Am Montag, den 15.06.2015, findet von 10–12 Uhr im HS Informatik eine unverbindliche Probeklausur statt. Diese wird am Mittwoch, den 17.06.2015, in der Vorlesungszeit nachbesprochen. Bitte melden Sie sich bis zum 09.06.2015 im Online-KVV zur Klausur an, falls Sie teilnehmen möchten.
  Am Montag, den 22.06.2015 wird Christoph Benzmüller eine Gastvorlesung zum Thema Logik und Vollständigkeit halten. Am Mittwoch, den 24.06.2015 wird die Vorlesung von Klaus Kriegel vertreten.
• 27.05.2015: Das siebte Aufgabenblatt ist verfügbar.
• 20.05.2015: Das sechste Aufgabenblatt ist verfügbar.
• 13.05.2015: Das fünfte Aufgabenblatt ist verfügbar.
• 06.05.2015: Das vierte Aufgabenblatt ist verfügbar.
• 29.04.2015: Das dritte Aufgabenblatt ist verfügbar.
• 24.04.2015: Im Rahmen des Mentoringprogramms bietet Justus Pfannschmidt ein Wunschkonzert an. Dieses findet jeweils Dienstags, von 18–20 Uhr im SR 055 statt.
• 22.04.2015: Das zweite Aufgabenblatt ist verfügbar.
• 02.04.2015: Das erste Aufgabenblatt ist verfügbar.
• 02.04.2015: Der erste Vorlesungstermin ist der 15.04.2015. Die Tutorien beginnen in der zweiten Semesterwoche. Die Anmeldung zu den Tutorien erfolgt über das Online-KVV. Ggf. gibt es noch Anpassungen der Tutoriumsgröße zu Semesterbeginn.

Die Übungszettel werden ausschließlich online erscheinen und zwar hier auf dieser Seite.

Voraussetzungen

• Grundlegende Kenntnisse zu diskreter Mathematik werden vorausgesetzt.

Literatur

• Uwe Schöning: Theoretische Informatik – kurz gefasst, 5. Auflage, Spektrum Akademischer Verlag, 2008
  Alles Wichtige knapp und übersichtlich zusammengefasst. Gut zur Prüfungsvorbereitung, aber eventuell wenig motivierend.
• John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexität, Pearson Studium, 3. Auflage, 2011
  Der Klassiker. Enthält viele motivierende Beispiele und Hintergrundwissen. Die deutsche Übersetzung ist eine Zumutung etwas gewöhnungsbedürftig.
• Ingo Wegener: Theoretische Informatik – Eine algorithmenorientierte Einführung, 3. Auflage, Teubner, 2005
  Sehr detailliert, manchmal etwas technisch.
• Michael Sipser: Introduction to the Theory of Computation, 2nd ed., Thomson Course Technology, 2006
  Sehr schön und verständlich geschrieben. Die hinteren Kapitel gehen weit über den Vorlesungsstoff hinaus. Für Leute mit Interesse an der theoretischen Informatik.
• Ingo Wegener: Kompendium theoretische Informatik – Eine Ideensammlung, Teubner, 1996
  Verständliche Darstellung der wesentlichen Ideen ohne großen technischen Ballast. Nicht unbedingt als Hauptquelle für die Veranstaltung geeignet, aber als Ergänzung empfohlen.
• Anil Maheshwari und Michiel Smid: Introduction to Theory of Computation, 2014 [link]
  Vorlesungsskript aus Kanada.
• Andrew Hodges: Alan Turing, The Enigma
  Biographisches zu einem Pionier der theoretischen Informatik, jetzt auch als Film.

Es wird eine Klausur am Ende des Semesters geben, sowie eine Ersatzklausur vor Beginn des nächsten Semesters. Dabei gilt die Freiversuchsregel. Das heißt, man kann die Ersatzklausur nutzen, um das Ergebnis aus der Hauptklausur zu verbessern (nur bei erstmaligem Absolvieren des Moduls).

Die Klausur findet statt am Mittwoch den 15.07.2015 von 10–12 Uhr im HS Informatik und in den Hörsälen A und C des Henry-Ford-Baus, Garystraße 35–37. Details werden noch bekannt gegeben.

Für den Scheinerhalt muss man

• regelmäßig an dem Tutorium teilnehmen (bei mindestens 80% der Termine);
• mindestens 60% der Punkte auf den Übungszetteln Erreichen und mindestens zweimal im Tutorium vorrechnen; und
• die Klausur mit mindestens 50% der Gesamtpunktzahl bestehen.

Die erfolgreiche Teilnahme am Übungsbetrieb und Teilnahme an der Klausur sind unabhängige Leistungen.

Die Scheine sind benotet. Die Note beruht nur auf den Klausurergebnissen.

Die Vorlesung findet statt Montag und Mittwoch, 10–12 Uhr, im großen Hörsaal in der Takustraße 9. Es gibt fünf Tutor_innen (Benjamin Berendsohn, Samuel Domiks, Katharina Klost, Kristin Knorr und Justus Pfannschmidt).

Sprechzeit des Dozenten: Dienstag 14–15 Uhr in Zimmer 114 und nach Vereinbarung

Die Übungszettel werden jede Woche hier verlinkt. Sie werden ausschließlich online erscheinen. Die normale Bearbeitungszeit ist von Mittwoch bis zum Freitag 9 Tage später. Die Zettel sind vor 10 Uhr in die entsprechenden Tutorenfächer einzuwerfen. Die Bearbeitung erfolgt in Zweiergruppen.

Übungszettel, die nach dem angegebenen Termin abgegeben werden, zählen als nicht bearbeitet.