Theoretische Informatik WS 2023/24
Vorlesungen | Di 11:30 - 13:00 | LG1A/HS1 | Prof. Dr. K. Meer |
Do 11:30 - 13:00 | LG1A/304 | Prof. Dr. K. Meer | |
Übung | Mo 15:30 - 17:00 | HG 0.17 | Dr. R. Gengler |
Mi 11:30 - 13:00 | HG 0.17 | Dr. R. Gengler | |
Do 09:15 - 10:45 | HG 0.18 | Dr. R. Gengler | |
Fr 15:30 - 17:00 | HG 0.17 | Dr. R. Gengler |
Mitteilungen
Achtung Raumänderung - Sonderregelung nur für diesen einen Termin:
Die Übung am Freitag, dem 03.11.2023, findet im LG 1A Hörsaal 304 statt.
Bitte melden Sie sich bis zum 16.10.2023 in Moodle für das Modul an, s.u.
- Start der Vorlesungen: Dienstag, 17.10.2023.
- Start der Übung: Donnerstag, 18.10.2023
(ggf Gruppeneinteilung) - 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).
Dort finden Sie zusätzliche Unterlagen, insbesondere zu den Übungen.
Aktuelle Informationen werden zudem meist über Moodle verschickt. - Regelung für Wiederholer: Eine in vorhergehenden Semestern erbrachte Vorleistung zählt nicht mehr. Die Vorleistung muss daher neu erbracht werden. Ausgenommen davon sind Personen, die die Note einer bereits bestandenen Prüfung verbessern wollen.
Termine
Abschlussklausur (120 Minuten) | 26. März 2024, 11:00 - 13:00 Uhr, Großer Hörsaal |
Wiederholungsklausur (120 Minuten) | 24. September 2024 xx:yy - zz:yy Uhr NN |
Übungsblätter
Erfolgskriterium: 75% der erreichbaren Gesamtpunkte.
Übungsblatt 1 online ab: 19.10.2023 | Übungsblatt 2 online ab: 27.10.2023 | Übungsblatt 3 online ab: 02.11.2023 | Übungsblatt 4 online ab: 09.11.2023 |
Übungsblatt 5 online ab: 17.11.2023 | Übungsblatt 6 online ab: 22.11.2023 | Übungsblatt 7 online ab: 28.11.2ß23 | Übungsblatt 8 online ab: 18.12.2023 |
Übungsblatt 9 online ab: 19.12.2023 | Übungsblatt 10 online ab: 11.01.2024 | Übungsblatt 11 online ab: 11.01.2024 | Übungsblatt 12 online ab: 11.01.2024 |
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.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.