Introduction to Theoretical Computer Science Markus Bläser

News

02.12.2022

Assignment 6

There was an exercise missing (6.5) on the exercise sheet 6 published this morning. We uploaded a corrected version. The sum of points that can be obtained by the regular exercises is now 16, as usual.

16.11.2022

New exam times

Unfortunately due to conflicts we were forced to reschedule both of our exams. The new dates and times of the exams are: 

  • Endterm: 1st of March 2023, 14:00 - 17:00 (raw time to complete the exam: 120 min)
  • Reexam: 31st of March 2023, 9:00 - 12:00 (raw time to... Read more

Unfortunately due to conflicts we were forced to reschedule both of our exams. The new dates and times of the exams are: 

  • Endterm: 1st of March 2023, 14:00 - 17:00 (raw time to complete the exam: 120 min)
  • Reexam: 31st of March 2023, 9:00 - 12:00 (raw time to complete the exam: 120 min)

In case this rescheduling is an issue for you please contact us as soon as possible so we can find a solution.

08.11.2022

Lecture online, tomorrow Wed Nov 9.

Tomorrow is the opening event for the new via-center on campus together with google. And it will be in the Günter-Hotz-Hörsaal.

Since there is not a large enough replacement for it, we need to have the tomorrow's  lecture online via Zoom. You find the Zoom link... Read more

Tomorrow is the opening event for the new via-center on campus together with google. And it will be in the Günter-Hotz-Hörsaal.

Since there is not a large enough replacement for it, we need to have the tomorrow's  lecture online via Zoom. You find the Zoom link the materials section in the "Links" category. The lecture will be live and starts as usual at 14:15. The lecture will be recorded and will be made available as usual.

I am sorry for the short notice.

 

04.11.2022

Plagiarism

Due to current circumstances we would like to remind that plagiarism is obviously not allowed. We reserve the right to give 0 points for the entire submission or even initiate further action.

03.11.2022

Tutorials

The tutorials are now assigned, you can see your tutorial on your Personal Status page. The first tutorials will take place November 8th.

For Tutorial 10: Due to room collisions the first tutorial will take place in room 415 in E1 3, afterwards it will be in a... Read more

The tutorials are now assigned, you can see your tutorial on your Personal Status page. The first tutorials will take place November 8th.

For Tutorial 10: Due to room collisions the first tutorial will take place in room 415 in E1 3, afterwards it will be in a yet to be announced room in E1 7.

31.10.2022

Extended Group Forming Period

We have extended the registration period for forming groups to submit exercise sheets until November 1st at 23:59. We recommend still forming a group if you haven't done so yet, you can use the forum to look for partners.

Note that this also pushes back the time... Read more

We have extended the registration period for forming groups to submit exercise sheets until November 1st at 23:59. We recommend still forming a group if you haven't done so yet, you can use the forum to look for partners.

Note that this also pushes back the time you can start submitting your solutions to the first exercise sheet to November 2nd. The course registration and tutorial registration deadlines are not affected by this and still end today.

31.10.2022

Different Room for Office Hours

There has been a slight mistake with the room for the office hours, both of them are in SR107 in E1 3.

Show all
 

Introduction to Theoretical Computer Science

 

Time & Date

Lectures:

  • Mi. 14:15-16:00 (E2 2 HS 001, Günter-Hotz-Hörsaal)
  • Fr. 8:30-10:00 (E2 2 HS 001, 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 November 1st, 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. The first exercise sheet is due November 4th, the submission will open on November 2nd.

While the exercise sheets themselves will be in English, you are free to choose both German or English as the language for your submissions. We will be giving a list of translations of common technical terms in the Materials section.

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 November 8th. We are offering tutorials in both English and German. You have to register for your tutorials with your preferred tutorial language from the 24th of October until the 31st of October at 23:59 on this website.
 

Office Hours

We are offering two weekly office hours, starting October 31:
  • Mondays, 12:15-13:00 in SR107 in E1 3
  • Thursdays, 14:15-15:00 in SR107 in E1 3

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 exams you are allowed to bring a single(!) handwritten(!) DinA4-sheet, written on both sides. Photocopies and printouts are not allowed!

  • Endterm: 1st of March 2023, 14:00 - 17:00 (raw time to complete the exam: 120 min)
  • Reexam: 31st of March 2023, 9:00 - 12:00 (raw time to complete the exam: 120 min)

If for some urgent reasons you cannot attend the exams in person please contact us directly via email.

 

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)

 



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