Theoretical Computer Science, Winter Semester 2026/27
| Lectures | Tuesdays, 11.30 am – 1.00 pm | LG 1 A, HS 1 | Prof. Dr K. Meer |
| Thursdays, 11.30 am – 1.00 pm | LG 1 A, 304 | Prof. Dr K. Meer | |
| Seminar | Mondays, 15:30 – 17:00 | LG 1 A, 304 | M.Sc. A. Wurm |
| Exam (120 mins) | Tuesday, 16 March 2027, 11.00 am – 1.00 pm | Main Lecture Theatre |
Announcements
Please complete the registration for the module on Moodle by 12 October 2026; see below
- First lecture: Tuesday 6 October 2026
- First tutorial: Monday 12 October 2026
- Information on module enrolment and deregistration
- Online-Portal for module enrolment and deregistration
- To successfully complete the module, you must also complete registration on the BTU learning platformMoodle(registration without a password).
There you will find additional materials, in particular relating to the tutorials.
Up-to-date information is also usually sent via Moodle. - Rules for students repeating courses: Previous work completed in earlier semesters no longer counts. The work must therefore be completed again. This does not apply to students who wish to improve the grade they have already achieved in an exam.
Bibliography
The lecture does not follow a textbook or lecture notes exclusively.
The following references should be regarded as supplementary sources, enabling students to explore the topics covered in the lecture in greater depth and, in some cases, from an alternative perspective.
Alexander Asteroth, Christel Baier:
Theoretical Computer Science: An Introduction to Computability, Complexity and Formal Languages,
Pearson Studium 2002.Katrin Erk, Lutz Priese: Theoretical Computer Science – A Comprehensive Introduction,
eXamen.press, 2008. [available to read online on campus]Dirk W. Hoffmann: Theoretical Computer Science, Hanser, 2009.
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman:
An Introduction to Automata Theory, Formal Languages and Computability, 3rd,
updated edition, Pearson Studium 2011.Juraj Hromkovic: Theoretical Computer Science: Formal Languages, Computability, Complexity Theory, Algorithms, Communication and Cryptography, Teubner, 2007. [available to read online on the Campus platform]
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.
[Available electronically on the website of Prof. John Savage, Department of Computer Science, Brown University]Michael Sipser: *Introduction to the Theory of Computation*, 3rd edition, Cengage Learning, 2013.