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

Termine

Klausur24. März 2020, 14:00 - 17:00, Großer Hörsaal
Wiederholungsklausur21. September 2020, 14:00 - 17:00, ZHG, HS A

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: 15.12.2019
Übungsblatt 11
online ab: 19.12.2019
Übungsblatt 12
online ab: 11.01.2020
Übungsblatt 13
online ab: 25.01.2020
Übungsblatt 14
Entfällt

Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Das Einverständnis in die Verwendung der technisch nicht notwendigen Cookies können Sie jeder Zeit wiederrufen. Weitere Informationen erhalten Sie auf unseren Seiten zum Datenschutz.

Erforderlich

Diese Cookies werden für eine reibungslose Funktion unserer Website benötigt.

Statistik

Für den Zweck der Statistik betreiben wir die Plattform Matomo, auf der mittels pseudonymisierter Daten von Websitenutzern der Nutzerfluss analysiert und beurteilt werden kann. Dies gibt uns die Möglichkeit Websiteinhalte zu optimieren.

Name Zweck Ablauf Typ Anbieter
_pk_id Wird verwendet, um ein paar Details über den Benutzer wie die eindeutige Besucher-ID zu speichern. 13 Monate HTML Matomo
_pk_ref Wird benutzt, um die Informationen der Herkunftswebsite des Benutzers zu speichern. 6 Monate HTML Matomo
_pk_ses Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern. 30 Minuten HTML Matomo