• Modul 11787
• Fragestunde zur Theoretischen Informatik / Konsultation:
  Montag, 9. März 2020 um 14:00 in HG 2:44
• Fragestunde zur Theoretischen Informatik / Konsultation:
  Montag, 2. März 2020 um 14:00 in HG 2:44
• Die Vorlesung vom 28.01.2020 wird auf den Mittwoch 23.01.2020 11:30 - 13:00 findet (Zeit des Tutoriums am Mittwoch)  vorverlegt. Die Vorlesung ist  im Lehrgebäude 1A Raum 304. Am 28.01.2020 findet statt dess ein Tutorium statt (im Lehrgebäude 1A Hörsaal 1)
• Tutorium Mittwoch 08.01.2020 fällt aus. Bitte den Tutoriumstermin am Donnerstag 09.01.2020 nutzen.
• Zum Start ins Jahr 2020 werden zwei zusätzliche, fakultative Übungstermine angeboten:
  - Donnerstag 02.01.2020  ab 13:45 Uhr im HG 0.17
  - Freitag  03.01.2020 ab 13:45 Uhr im HG 0.17 
  Bitte kurz per Mail mitteilen, zu welchem Termin ihr kommen wollt, gerne auch beide Termine.
• Da der 31.10.2019 ein Feiertag ist (Reformationstag), fällt der entsprechende Donnerstagstermin aus. Bitte stattdessen den Mittwochs- bzw. den Freitagstermin nutzen.
• Die Vorlesung istin größere Räume verlegt worden, siehe  obige Aufstellung. Am Dienstag, dem  28. Januar 2020, bleibt es jedoch beim ZHG, SR 1.
• Die Studierenden sind auf die jeweiligen Übungs-/Tutoriumstermine verteilt worden, siehe obige Aufstellung. Bei Kollisionen mit anderen Lehrveranstaltungen bitte Herrn Gengler  kontaktieren.
• Start des Tutoriums: Mittwoch, 16.10.2019. Der Termin Donnerstag, 17.10.2019, fällt aus. Bitte auf  die Termine am Mittwoch bzw.  am Freitag ausweichen.
• Start der Übung: Montag, 14.10.2019
• Start der Vorlesungen: Dienstag, 08.10.2019
• Aufgrund der hochschulöffentlichen Anhörung der Präsidentschaftskandidaten am 10.10.2019 von 10h-12h fällt die Vorlesung am 10.10.2019 aus.
• Informationen zur Modulanmeldung/-abmeldung
• Online-Portal Modulanmeldung/-abmeldung
• Ebenfalls erforderlich für einen erfolgreichen Abschluss des Moduls ist die parallele Anmeldung auf der BTU-Lernplattform Moodle (Anmeldung ohne Kennwort)

Die Vorlesung folgt nicht ausschließlich einem Lehrbuch oder Skript.
Die folgenden Literaturangaben sind als ergänzende Quellen zu verstehen, um Themen der Vorlesung nochmals vertieft und teilweise in alternativer Darstellung nachzulesen.  

• Alexander Asteroth, Christel Baier:
  Theoretische Informatik: eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen,
  Pearson Studium 2002.

• Peter Bachmann: Grundlagen der Theoretischen Informatik, bookboon.com, 2015.
  Kostenloser Download hier

• Katrin Erk, Lutz Priese: Theoretische Informatik - Eine umfassende Einführung,
  eXamen.press, 2008. [auf dem Campus online lesbar]

• Dirk W. Hoffmann: Theoretische Informatik, Hanser, 2009.

• John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman:
  Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit, 3.,
  aktualisierte Auflage, Pearson Studium 2011.

• Juraj Hromkovic: Theoretische Informatik Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie, Teubner, 2007. [auf dem Campus online lesbar]

• Dexter C. Kozen: Automata and Computability, Springer 1997.

• Harry R. Lewis, Christos H. Papadimitriou: Elements of the Theory of Computation, Prentice Hall, 1981.

• John E. Savage: Models of computation: Exploring the Power of Computing, Addison-Wesley, 1998.
  [elektronisch verfügbar auf der Webseite von Prof. John Savage, Computer Science Department, Brown University]

• Michael Sipser: Introduction to the Theory of Computation, 3rd Edition, Cengage Learning 2013.