News
Currently, no news are available
Introduction to Theoretical Computer Science
Time & Date
Lectures:
- Wed. 14:15-16:00 (E2 2, Günter-Hotz-Hörsaal)
- Fri. 8:30-10:00 (E2 2, Günter-Hotz-Hörsaal)
The lectures will be held in English.
Additionally the lectures will be recorded and put online afterwards, the links to the recordings can be found in the Materials category.
Exercise sheets & Tutorials
Every Friday we will release an exercise sheet. You have time until the next Friday at 8:00 to submit your solution via (this) CMS. You can work in groups of up to 3 students on the exercises. You need to register these groups until October 23rd, 23:59, in CMS. The solutions are submitted as separate PDF-files for each exercise, either digitally created, for example with LaTeX or LibreOffice, or as a high quality scan of a handwritten submission. Each group must write their own solution and must not copy the solution of another group!
The first exercise sheet is due October 25th, the submission will open on October 24th.
While the exercise sheets themselves will be in English, you are free to choose both German or English as the language for your submissions.
The exercise sheets and additional tutorial sheets will be discussed in the tutorials in week after the submission. For questions about the grading of your exercise sheets, please come to the Office Hours.
The tutorials are in person on Tuesdays and will start October 22nd. We are offering tutorials in both English and German. You have to register for your tutorials with your preferred tutorial language from the 15th of October until the 18th of October at 23:59 on this website.
Office Hours
- Wednesdays 10:15-11:45
- Thursdays 14:15-15:45
- Starting on October 23rd and 24th respectively
Grading
To be admitted to the endterm and the reexam you need 50% of the regular points of all exercise sheets.
Your grade will be the better grade of:
- Endterm
- Reexam
Exams
For the written exams you are allowed to bring a single(!) handwritten(!) DinA4-sheet, written on both sides. Photocopies and printouts are not allowed!
- Endterm: 20th of February 2025, 14:00 - 17:00
- Reexam: 26th of March 2024, 9:00 - 12:00
The raw time to complete the exam will be at least 120 minutes.
Literature
There are many good books on the topic of this lecture. Here is a selection:
- Michael Sipser, Introduction to the Theory of Computation, PWS
- John Hopcroft, Rajeev Motwani & Jeffrey Ullman, Introduction to Automata Theory, Languages, and Computation, Pearson
- Harry Lewis & Christos Papadimitriou, Elements of the Theory of Computation, Prentice Hall
- Dexter Kozen, Automata and Computability, Springer
- Uwe Schöning, Theoretische Informatik - kurzgefasst, Spektrum (in German)