Die Klausureinsicht für die Prüfung im Sommersemester finder am 28.09. von 13:30-15:00 in Raum 0.108 statt. Eine Anmeldung ist nicht erforderlich. Bitte bringen Sie ihren Studierendenausweis mit. Kein Ausweis-keine Einsicht!

Notenschlüssel Prüfung Sommersemester: -Notenschlüssel

-Notenschlüssel

Vorlesung

Prof. Dr. Ulrich Hertrampf

Bitte melden Sie sich im Campus auch für die Vorlesung an!

Für alle Studierenden die an Präsenzveranstaltungen teilnehmen möchten: Bitte denken Sie daran, Ihren 3G-Nachweis immer dabei zu haben, bitte in digitaler Form auf Ihrem Studierendenausweis gespeichert (wird vom Verifikationszentrum auf dem Campus ausgestellt).

Die Bestätigungen zu den Übungsscheinen wurden nun versendet. Bitte schauen Sie in Ihrem Unimail-Postfach nach, ob Sie diesbezüglich eine Mail erhalten haben. Falls nicht, Sie sich aber sicher sind den Schein in diesem Semester neu erworben zu haben, so melden Sie sich bitte schnellstmöglich bei Caroline Mattes

Termine

Es werden nach und nach die Vorlesungsaufzeichnungen aus dem vergangenen Jahr im ILIAS veröffentlicht. Zusätzlich wird es alle 14 Tage eine Fragestunde in Präsenz geben. Bitte besuchen Sie diese nur, falls Sie tatsächlich Fragen stellen möchten. Die Fragestunde wird ebenfalls aufgezeichnet und kann anschließend ebenfalls online angeschaut werden.

Zeit Raum Termine    
  Mi 11:30-13:00 V38.01 14-tägig Fragestunde.

Literatur

  • Uwe Schöning: Theoretische Informatik – kurzgefasst, 5. Auflage, Spektrum, 2008. (Die ältere Auflage von 2000 tut’s auch!)
  • John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, Addison-Wesley, 2002.

Prüfung Sommersemester 2021

Klausureinsicht: Wenn Sie an der Klausur “Theoretische Informatik 1” im Sommersemester 2021 teilgenommen haben und noch keinen Termin zur Einsicht hatten, so sollten Sie eine Mail diesbezüglich erhalten haben. Schauen Sie bitte in Ihrem Uni-Postfach nach.

Ergänzungen

Hier finden Sie zusätzliches Material. Es wird in diesem Semester voraussichtlich keine Live-Ergänzung geben, jedoch finden Sie auf dieser Seite viel zusätzliches Material zum Lernen und Üben. Es ist sehr zu empfehlen, dieses zu verwenden.

Webseite der Ergänzung

Übungen

Caroline Mattes

Wenn Sie Ihren Übungsschein in Theoretischer Informatik 1 in einem der vergangenen Semester erworben haben, so bleibt dieser gültig und Sie müssen diesen nicht erneut erwerben um an der Prüfung teilzunehmen. Es ist jedoch sehr zu empfehlen trotzdem aktiv an den Übungen teilzunehmen.

Scheinkriterien: Um an der Modulprüfung der Theoretischen Informatik I teilnehmen zu können benötigen Sie einen Übungsschein. Diesen erhält, wer mindestens 50% aller erreichbaren Punkte in den schriftlichen Übungsaufgaben erhält und zwei Mal im Laufe des Semesters die Lösung zu einer Übungsaufgabe in seiner Übung präsentiert hat.

Die Abgaben müssen in Teams von zwei Personen erfolgen. Beide Teampartner müssen die selbe Übungsgruppe besuchen. Sie dürfen innerhalb Ihrer Übungsgruppe Ihren Teampartner frei wählen, jedoch darf das Team nach der ersten Abgabe nicht mehr geändert werden. Sie bleiben dann für das ganze Semester im selben Team. Bitte achten Sie darauf, die Namen BEIDER Teammitglieder auf das Übungsblatt zu schreiben!

Die Abgabe wird über die Plattform ILIAS erfolgen. Es werden NUR Abgaben akzeptiert, welche handgeschrieben und gut lesbar fotographiert, gescannt usw. wurden oder welche in LaTex geschrieben wurden. Abgaben, welche in Word oder ähnlichem erstellt wurden werden ausdrücklich NICHT akzeptiert!

ILIAS-Kurs

Die ILIAS-Kurse sind nun freigeschaltet. Bitte melden Sie sich für Vorlesung und Übung im Campus-System an. Ihre Anmeldung wird dann in das ILIAS-System übertragen.

Die Anmeldung zu den Übungsgruppen im Campus ist nun freigeschaltet. Bitte melden Sie sich in einer der Übungsgruppen an, deren Termine Sie wahrnehmen können. Die Termine an den Feiertagen werden noch verlegt. Es gibt Übungsgruppen in Präsenz sowie im Online-Format. Bitte achten Sie bei der Anmeldung darauf, welche Art Übungsgruppe Sie besuchen möchten.

Sollte kein Platz mehr in einer Online-bzw Präsenzgruppe sein, Sie möchten aber ausschließlich eine Online-bzw Präsenzgruppe besuchen, so melden Sie sich bitte auf der Warteliste einer solchen Gruppe an. Wir werden dann schauen, ob es möglich ist (je nach Bedarf) noch eine weitere Gruppe im Online-oder Präsenzbetrieb anzubieten.

Übungsblätter

Weihnachtsblatt

Das Weihnachtsblatt wird in einem WebEx-Meeting am 26.01. um 11:30 besprochen.

Das erste Übungsblatt wird voraussichtlich in der Woche ab dem 18.10. im ILIAS-Kurs sowie auf der Website veröffentlicht. Es wird in der Übung gemeinsam mit dem Tutor besprochen werden und enthält noch keine schriftlichen Aufgaben. Diese wird es ab dem zweiten Blatt geben.

-Blatt 0: Wird in den Übungen ab dem 25.10. besprochen

-Blatt 1: (Abgabe am 05.11. um 12Uhr (Mittag) über ILIAS) (ACHTUNG: neue Version mit kleiner Änderung bei 4d)

-Blatt 2: (Abgabe: 19.11. um 12 Uhr (Mittag) über ILIAS)

-Blatt 3: (Abgabe: 03.12. um 12 Uhr (Mittag) über ILIAS)(ACHTUNG: am 25.11. um 14:06 wurde eine neue Version hochgeladen!)

-Blatt 4: (Abgabe: 17.12.2021 um 13 Uhr (Mittag) über ILIAS)

-Blatt 5: (Abgabe: 17.01.2022 um 17 Uhr über ILIAS)

-Weihnachtsblatt: (Abgabe: 14.01.2022 um 13 Uhr (Mittag) über ILIAS)

-Blatt 6:

Übungsgruppen

Der Übungsbetrieb startet in der zweiten Vorlesungswoche. Die Termine an den Feiertagen werden noch verlegt. Sie bekommen rechtzeitig Bescheid.

< </table>
Gruppe Tutor Zeit Raum Blatt 0 Blatt 1 Blatt 2 Blatt 3 Blatt 4 Blatt 5 Blatt 6
Gruppe 1 Joel Bienias Mo. 17:30 – 19:00 PWR47-V47.06 03.11. 11:30 15.11. 29.11. 13.12. 10.01. 24.01. 07.02.
Gruppe 2 Julius Schwetlick Mi. 15:45-17:15 PWR47-V47.06 03.11. 17.11. 01.12. 15.12. 12.01. 26.01. 09.02.
Gruppe 3 Heiko Mögerle Fr. 15:45 – 17:15 Online 29-10-. 12.11. 26.11. 10.12. 11.01. 17:30 21.01. 04.02.
Gruppe 4 Lasse Lenzing Mi. 17:30-19:00 PWR47 V47.06 03.11. 17.11. 01.12. 15.12. 12.01. 26.01. 09.02.
Gruppe 5 Helmut Waldschmidt Do. 17:30-19:00 PWR47 V47.06 04.11. 18.11. 02.12. 16.12. 13.01. 27.01. 10.02.
Gruppe 6 Lasse Lenzing Do. 17:30-19:00 V38.0.108 04.11. 18.11. 02.12. 16.12. 13.01. 27.01. 10.02.
Gruppe 7 Caroline Mattes Fr. 08:00-09:30 PWR47 V47.06 05.11. 19.11. 03.12. 17.12. 14.01. 28.01. 11.02.
Gruppe 8 Elias Schwesig Fr. 08:00-09:30 U38-0.108 05.11. 19.11. 03.12. 17.12. 14.01. 28.01. 11.02.
Gruppe 9 Oliver Koppenhöfer Fr. 15:45-17:15 PWR47 V47.06 05.11. 19.11. 03.12. 17.12. 14.01. 28.01. 11.02.
Gruppe 10 Elena Mostovaya Mo. 17:30 – 19:00 Online Do 04.11. 14Uhr 15.11. 29.11. 13.12. 10.01. 24.01. 07.02.
Gruppe 11 Alexander Kaiser Mi. 17:30-19:00 Online 03.11. 17.11. 01.12. 15.12. 12.01. 26.01. 09.02.
Gruppe 12 Heiko Mögerle Fr. 15:45-17:15 Online 05.11. 19.11. 03.12. 17.12. 14.01. 28.01. 11.02.
Gruppe 13 Mika Schieber Di. 11:30-13:00 Online 02.11. 16.11. 30.11. 14.12. 11.01. 25.01. 08.02.
Gruppe 14 Joel Bienias Mo. 17:30-19:00 PWR47 V47.06 25.10. 08.11. 22.11. 06.12. 20.12. 17.01. 31.01.
Gruppe 15 Julius Schwetlick Mi. 15:45-17:15 PWR47 V47.06 27.10. 10.11. 24.11. 08.12. 22.12. 19.01. 02.02.
Gruppe 16 U.Hertrampf Mi. 15:45-17:15 U38-0.108 27.10. 10.11. 01.12. 08.12. 22.12. 19.01. 02.02.
Gruppe 17 U. Hertrampf Mi. 17:30-19:00 PWR47-V47.06 27.10. 10.11. 24.11. 08.12. 22.12. 19.01. 02.02.
Gruppe 18 Tim Strutzenberger Do. 17:30-19:00 PWR47-V47.06 28.10. 11.11. 25.11. 09.12. 11.01.17:30 V38.03. 20.01. 03.02.
Gruppe 19 Florian Wüst Do. 17:30-19:00 U38-0.108 28.10. 11.11. 25.11. 09.12. 13.01. 17:30, V38.03. 20.01. 03.02.
Gruppe 20 Florian Stober Fr. 08:00-09:30 PWR47-V47.06 29.10. 12.11. 26.11. 10.12. 22.12. 11:30, U38 0.108 21.01. 04.02.
Gruppe 21 Elias Schwesig Fr. 08:00-09:30 U38-0.108 29.10. 12.11. 26.11. 10.12. 20.12. 8Uhr, U38 0.108 21.01. 04.02.
Gruppe 22 Oliver KoppenhöferFr. 15:45-17:15 PWR47-V47.06 29.10. 12.11. 26.11. 10.12. 21.12. 17:30, V 38.03 21.01. 04.02.
Gruppe 23 Elena Mostovaya Mo. 17:30-19:00 Online 25.10. 08.11. 22.11. 06.12. 20.12. 17.01. 31.01.
Gruppe 24 Alexander Kaiser Mi. 17:30-19:00 Online 27.10. 10.11. 24.11. 08.12. 22.12. 19.01. 02.02.
Gruppe 25 Maciej Kwas Fr. 11:30-13:00 Online 29.10. 12.11. 26.11. 10.12. 22.12. 11:30 21.01. 04.02.

News

[Jun’23] The paper “Parallel algorithms for power circuits and the word problem of the Baumslag group” by Caroline Mattes and Armin Weiß has been accepted at Computational Complexity.

[Oct’22] The paper “Lower Bounds for Sorting 16, 17, and 18 Elements” by Florian Stober and Armin Weiß has been accepted at ALENEX 2023.

[Sep’22] The paper “Conelikes and Ranker Comparisons” by Viktor Henriksson and Manfred Kufleitner has been accepted at LATIN 2022.

[Sep’22] The paper “Improved Parallel Algorithms for Generalized Baumslag Groups” by Caroline Mattes and Armin Weiß has been accepted at LATIN 2022.

[Apr’22] The paper “Reachability Games and Parity Games” by Volker Diekert and Manfred Kufleitner has been accepted at ICTAC 2022.

[Apr’22] The paper “Satisfiability Problems for Finite Groups” by Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski and Armin Weiß has been accepted at ICALP 2022.

[Mar’22] The paper “The Power Word Problem in Graph Products” by Florian Stober and Armin Weiß was accepted at DLT 2022.

[Nov’20] Volker Diekert is Partner Investigator in the Australian ARC grant “Geodetic groups: foundational problems in algebra and computer science” at University of Technology Sydney.

[Apr’20] The paper “Groups with ALOGTIME-hard word problems and PSPACE-complete circuit value problems” by Laurent Bartholdi, Michael Figelius, Markus Lohrey and Armin Weiß has been accepted at CCC 2020.

[Apr’20] The paper “Hardness of equations over finite solvable groups under the exponential time hypothesis” by Armin Weiß has been accepted at ICALP 2020.

[Dec’19] The paper “An Automaton Group with PSPACE-Complete Word Problem” by Jan Philipp Wächter and Armin Weiß has been accepted at STACS 2020.

[Nov’19] Carlos Camino was awarded the stuvus Special Prize for exceptional commitment in teaching.

[Jun’19] The paper “The power word problem” by Markus Lohrey and Armin Weiß has been accepted at MFCS 2019.

[May’19] The paper “On the Average Case of MergeInsertion” by Florian Stober and Armin Weiß has been accepted at IWOCA 2019.

[Oct’18] The paper “Worst-Case Efficient Sorting with QuickMergesort” by Stefan Edelkamp and Armin Weiß has been accepted at ALENEX 2019.

[Jun’18] At CCC 2018, Lukas Fleischer received a Best Student Paper Award for his submission “On the Complexity of the Cayley Semigroup Membership Problem”.

[Jun’18] The paper “Testing Simon’s congruence” by Lukas Fleischer and Manfred Kufleitner was accepted at MFCS 2018.

[Jun’18] The paper “The Intersection Problem for Finite Semigroups” by Lukas Fleischer was accepted at DLT 2018.

[Apr’18] The paper “The isomorphism problem for finite extensions of free groups is in PSPACE” by Géraud Sénizergues and Armin Weiß was accepted at ICALP 2018.

[Apr’18] The paper “On the Complexity of the Cayley Semigroup Membership Problem” by Lukas Fleischer was accepted at CCC 2018.

[Jan’18] On March 24-29, 2019 Volker Diekert, Markus Lohrey, Olga Kharlampovich and Alexei Miasnikov will organize the Schloss Dagstuhl Seminar “Algorithmic Problems in Group Theory”.

[Dec’17] The paper “The Intersection Problem for Finite Monoids” by Lukas Fleischer and Manfred Kufleitner was accepted at STACS 2018.

[Jun’17] At the 12th International Computer Science Symposium in Russia (CSR), Lukas Fleischer and Manfred Kufleitner received a Best Paper Award for their publication “Green’s Relations in Finite Transformation Semigroups”, and Armin Weiss received a Best Paper Award for “The conjugacy problem in free solvable groups and wreath product of abelian groups is in $\text{TC}^0$ \text{TC}^0 “ which is joint work with Alexei Miasnikov and Svetla Vassileva.