News
Reexam inspection time slotsWritten 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 inspectionWritten on 11.04.23 by Julian Dörfler
|
Information for the reexamWritten on 30.03.23 by Julian Dörfler Please note the following information:
Please note the following information:
|
Registration for the ReexamWritten on 10.03.23 by Julian Dörfler Please note the following information:
Please note the following information:
|
Exam inspection time slotsWritten 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 inspectionWritten on 06.03.23 by Julian Dörfler
|
Information for the endterm examWritten on 24.02.23 by Julian Dörfler Please note the following information:
Please note the following information:
|
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 examWritten on 03.02.23 by Julian Dörfler Please note the following information:
Please note the following information:
To aid you in your preparations for the exams we offer the following:
|
Online teaching around ChristmasWritten 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. LecturesThe lectures on… Read more There will be no lectures, tutorials or office hours in the week 26th - 30th of December 2022. LecturesThe lectures on the 23rd of December, 4th of January and 6th of January will take place via zoom at the regular times. TutorialsThe 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. Office HoursAll 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 SheetsThere 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 6Written 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 timesWritten 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:
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:
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. |
PlagiarismWritten 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. |
TutorialsWritten 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 PeriodWritten 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 HoursWritten 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. |
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
- 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)