News

Reexam inspection time slots

Written on 24.04.23 by Julian Dörfler

The time slots for the reexam inspection are now visible on your Personal Status page (near the bottom of the page)

Reexam results and exam inspection

Written on 11.04.23 by Julian Dörfler

  • The reexam has been corrected and results are now visible on your Personal Status page.
  • The exam inspection will take place on the 25th of April from 16:00 to 18:00 in E1 3 HS001. You have to register until the 23rd of April 23:59 on your Personal Status page if you want to participate in the… Read more
  • The reexam has been corrected and results are now visible on your Personal Status page.
  • The exam inspection will take place on the 25th of April from 16:00 to 18:00 in E1 3 HS001. You have to register until the 23rd of April 23:59 on your Personal Status page if you want to participate in the exam inspection. Please reserve the entire period from 16:00 to 18:00 for this exam inspection, after the registration is closed you will be assigned a specific timeslot for your own exam inspection.

Information for the reexam

Written on 30.03.23 by Julian Dörfler

Please note the following information:

  • The reexam exam will take place on the 31st of March 2023, approximately from 9:00 to 11:00.
  • In order to guarantee a smooth process, we ask you to be there at 8:45 at the latest.
  • You can see which lecture hall you are writing the exam in on your… Read more

Please note the following information:

  • The reexam exam will take place on the 31st of March 2023, approximately from 9:00 to 11:00.
  • In order to guarantee a smooth process, we ask you to be there at 8:45 at the latest.
  • You can see which lecture hall you are writing the exam in on your Personal Status page.
  • Please bring your student ID, as well as an official photo ID (ID card/passport/...).
  • Please bring a blue or black non-erasable pen, for example a ballpoint pen, but not pencils.
  • You are allowed to bring a single(!) handwritten(!) DinA4-sheet, written on both sides to the exam. Photocopies and printouts are not allowed!

Registration for the Reexam

Written on 10.03.23 by Julian Dörfler

Please note the following information:

  • Your grades from the endterm exam have been entered into the LSF (if applicable).
  • If you want to participate in the reexam, please don't forget to register in HISPOS/VIPA/etc. Note that the deadlines for this may vary. Also note that since summer semester… Read more

Please note the following information:

  • Your grades from the endterm exam have been entered into the LSF (if applicable).
  • If you want to participate in the reexam, please don't forget to register in HISPOS/VIPA/etc. Note that the deadlines for this may vary. Also note that since summer semester 2019 there is no possibility of late registration at all. We will regularly import the HISPOS registration into the CMS. If you are unable to use the HISPOS due to your course of study, you have to register with Julian Dörfler via E-Mail (see team page) until the 24th of March.

Exam inspection time slots

Written on 10.03.23 by Julian Dörfler

The time slots for the exam inspection are now visible on your Personal Status page (near the bottom of the page)

Endterm results and exam inspection

Written on 06.03.23 by Julian Dörfler

  • The endterm has been corrected and results are now visible on your Personal Status page.
  • The exam inspection will take place on the 10th of March from 12:00 to 14:00 in E1 3 HS001. You have to register until the 9th of March 15:00 on your Personal Status page if you want to participate in the… Read more
  • The endterm has been corrected and results are now visible on your Personal Status page.
  • The exam inspection will take place on the 10th of March from 12:00 to 14:00 in E1 3 HS001. You have to register until the 9th of March 15:00 on your Personal Status page if you want to participate in the exam inspection. Please reserve the entire period from 12:00 to 14:00 for this exam inspection, once the registration closes you will be assigned a specific timeslot for your own exam inspection.

Information for the endterm exam

Written on 24.02.23 by Julian Dörfler

Please note the following information:

  • The endterm exam will take place on the 1st of March 2023, approximately from 15:00 to 17:00
  • In order to guarantee a smooth process, we ask you to be there at 14:45 at the latest.
  • You can see which lecture hall you are writing the exam in on your… Read more

Please note the following information:

  • The endterm exam will take place on the 1st of March 2023, approximately from 15:00 to 17:00
  • In order to guarantee a smooth process, we ask you to be there at 14:45 at the latest.
  • You can see which lecture hall you are writing the exam in on your Personal Status page.
  • Please bring your student ID, as well as an official photo ID (ID card/passport/...).
  • Please bring a blue or black non-erasable pen, for example a ballpoint pen, but not pencils.
  • You are allowed to bring a single(!) handwritten(!) DinA4-sheet, written on both sides to the exam. Photocopies and printouts are not allowed!

There will be no lecture on Friday, Feb 10.

Written on 07.02.23 by Markus Bläser

The last lecture will be tomorrow, Feb 8 at 14:15 as usual.

Registration and preparation for the endterm exam

Written on 03.02.23 by Julian Dörfler

Please note the following information:

  • All exercise sheets are now corrected and the points are visible on your Personal Status page.
  • To be admitted to the exam you need at least 88 points (including bonus points).
  • Please don't forget to register in HISPOS/VIPA/etc. Note that the deadlines… Read more

Please note the following information:

  • All exercise sheets are now corrected and the points are visible on your Personal Status page.
  • To be admitted to the exam you need at least 88 points (including bonus points).
  • Please don't forget to register in HISPOS/VIPA/etc. Note that the deadlines for this may vary. Also note that since summer semester 2019 there is no possibility of late registration at all. We will regularly import the HISPOS registration into the CMS. If you are unable to use the HISPOS due to your course of study, you have to register with Julian Dörfler via E-Mail (see team page) until the 22nd of February.
  • You are allowed to bring a single(!) handwritten(!) DinA4-sheet, written on both sides to the exam. Photocopies and printouts are not allowed!
  • Relevant for both exams are chapters 1 to 29 in the lecture notes (excluding bonus chapters) and all exercises from exercise sheets 1 to 12 and tutorial sheets 1 to 12 (excluding exercises marked with at least one star).
  • The endterm exam inspection will be on the 10th of March.
  • Further information for the exam will follow closer to the exam.

To aid you in your preparations for the exams we offer the following:

  • Two last minute office hours, on the 23rd and 28th of February from 12:00 to 16:00 each in room SR107 in E1 3
  • A mock exam on the 21st of February, starting at 12:15 in E2 2 HS 001 (Günter-Hotz-Hörsaal) with a consecutive discussion of the solutions. This discussion will not be recorded. Please bring your own paper to write on for the mock exam.
     

Online teaching around Christmas

Written on 15.12.22 by Julian Dörfler

There will be no lectures, tutorials or office hours in the week 26th - 30th of December 2022.
Additionally there will be no in-person teaching in the weeks 19th - 23rd of December 2022 and 2nd - 6th of January 2023. Instead we will have online replacements as follows:

Lectures

The lectures on… Read more

There will be no lectures, tutorials or office hours in the week 26th - 30th of December 2022.
Additionally there will be no in-person teaching in the weeks 19th - 23rd of December 2022 and 2nd - 6th of January 2023. Instead we will have online replacements as follows:

Lectures

The lectures on the 23rd of December, 4th of January and 6th of January will take place via zoom at the regular times.
The lecture on the 21st of December will have to take place at 10:15 - 11:45, but we will try to make the recording available until the regular time of the lecture.

Tutorials

The tutorials on the 20th of December will take place via zoom. You will be able to find the corresponding links in the Materials section of the CMS soon.
There are no tutorials on the 3rd of January.

Office Hours

All office hours will take place at the usual time, via discord. A link to it can be found in the Materials section of the CMS soon.

Exercise Sheets

There is no exercise sheet due on the 23rd of December, instead we have a sheet with only bonus points due on the 6th of January. Keep in mind that there are restrictions to which exercises you can submit, listed at the top of the exercise sheet.
 

Assignment 6

Written on 02.12.22 by Markus Bläser

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.

New exam times

Written on 16.11.22 by Julian Dörfler

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… 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.

Lecture online, tomorrow Wed Nov 9.

Written on 08.11.22 by Markus Bläser

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"… 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.

 

Plagiarism

Written on 04.11.22 by Julian Dörfler

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.

Tutorials

Written on 03.11.22 by Julian Dörfler

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.

Extended Group Forming Period

Written on 31.10.22 by Julian Dörfler

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… 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.

Different Room for Office Hours

Written on 31.10.22 by Julian Dörfler

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.