Registration for this course is open until Friday, 18.10.2024 23:59.

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

Twice a week, always in room E1.3, seminar room 015:
  • 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)

You may find these in the InfoMath library.

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.