Theoretische Informatik WS 2019/2020
Vorlesungen | Di 11:30 - 13:00 | LG 1A Hörsaal 1 | Prof. Dr. K. Meer |
Do 11:30 - 13:00 | LG 1A Raum 304 | Prof. Dr. K. Meer | |
Tutorium | Do 09:15 - 10:45 (Studierende mit ungerader Matrikelnummer) | HG Raum 0.18 | Dr. R. Gengler |
Mi 11:30 - 13:00 (Studierende mit gerader Matrikelnummer) | HG Raum 0.17 | Dr. R. Gengler | |
Übung | Mo 15:30 - 17:00 (Studierende mit ungerader Matrikelnummer) | HG Raum 0.17 | Dr. R. Gengler |
Fr 15:30 - 17:00 (Studierende mit gerader Matrikelnummer) | HG Raum 0.17 | Dr. 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)
Termine
Abschlussklausur | 24. März 2020, 14:00 - 17:00, Großer Hörsaal - Terminverlegung wegen Corona-Krise!! |
neuer Termin für Klausur WS 2019/20 | ACHTUNG: Theoretische Informatik - Modul 11787 Termin für verschobene März-Prüfung vom WS 2019/20 (Corona-Regelung): Dienstag, 30.06.2020 16:00 Uhr - 19:00 Uhr ZHG, Audimax 1 Prüfungsanmeldung: Bitte melden Sie sich per Email an Ihren derzeitigen Studiengangsbetreuer mit Angabe von Modulnummer/Modultitel und Termin für diesen Termin an. Übersicht Studiengangsbearbeiter (aktualisiert) für Medizininformatik: Frau Anna-Maria Rösiger, Tel. +49 (0) 3573 85-733, Email: Anna-Maria.Roesiger(at)b-tu.de |
Wiederholungsklausur regulär | Montag, 21. September 2020, 16:00 - 19:00 Uhr, Zentralcampus, Großer Hörsaal (Angaben aktualisiert am 08.07.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 hierKatrin 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 |