Theoretische Informatik WS 2019/2020

VorlesungenDi 11:30 - 13:00LG 1A Hörsaal 1Prof. Dr. K. Meer
Do 11:30 - 13:00LG 1A Raum 304Prof. Dr. K. Meer
TutoriumDo 09:15 - 10:45
(Studierende mit ungerader Matrikelnummer)
HG Raum 0.18Dr. R. Gengler
 Mi 11:30 - 13:00
(Studierende mit gerader Matrikelnummer)
HG Raum 0.17Dr. R. Gengler
ÜbungMo 15:30 - 17:00
(Studierende mit ungerader Matrikelnummer)
HG Raum 0.17Dr. R. Gengler
  Fr 15:30 - 17:00
(Studierende mit gerader Matrikelnummer)
HG Raum 0.17Dr. R. Gengler

Mitteilungen

  • Modul 11787
  • 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)
  • Abschlussklausur: Dienstag, 24.03.2020
  • Wiederholungsklausur: Montag, 21.09.2020

Termine

Klausur24. März 2020
Wiederholungsklausur21. September 2020

Literatur

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.

Übungsblätter

Übungsblatt 1
online ab: 12.10.2019
Übungsblatt 2
online ab: 18.10.2019
Übungsblatt 3
online ab: 26.10.2019
Übungsblatt 4
online ab: 30.10.2019
Übungsblatt 5
online ab: 07.11.2019
Übungsblatt 6
online ab: 15.11.2019
Übungsblatt 7
online ab: 21.11.2019
Übungsblatt 8
online ab: 28.11.2019
Übungsblatt 9
online ab: 07.12.2019
Übungsblatt 10
online ab: xx.12.2019
Übungsblatt 11
online ab: xx.01.2020
Übungsblatt 12
online ab: xx.01.2020
Übungsblatt 13
online ab: xx.01.2020
Übungsblatt 14
online ab: xx.01.2020