Einführung in die Theoretische Informatik

Übersicht

Dozent: Prof. Javier Esparza
Sprache: Deutsch
Vorlesung Mo 14:00-15:30, Do 14:15-15:45 (beide in MW 2001)
Zentralübung findet bis auf Weiteres nicht statt
TUMonline: Vorlesung, Übungen
Tweedback Link
Moodle: Link
Zulip: mit THEO Emoji hier abonnieren
Übungsleitung: Philipp Czerner, Valentin Krasotin, Kevin Kappelmann
Kontakt: theoleitung@in.tum.de

Materialien

Skript: Folien, Handout

Jeden Freitag (beginnend mit der ersten Vorlesungswoche) werden neue Aufgabenblätter hier veröffentlicht. Dies wird in Zulip angekündigt.
Die Materialien befinden sich zusätzlich auch auf Moodle.

Altklausuren befinden sich hier.

Vorlesungen

Die Vorlesung findet in Präsenz statt und wird zusätzlich live über das Streaming-Portal der RBG übertragen (hier). Dort werden auch Vorlesungsaufzeichnungen zur Verfügung gestellt. Während der Vorlesung können Fragen über Tweedback gestellt werden.

Kommunikation

Zur Kommunikation haben wir Streams in Zulip eingerichtet. Diese könnt ihr mit dem THEO Emoji hier abonnieren. In Zulip könnt ihr alle Fragen zur Vorlesung, Übung und Organisation stellen und euch gegenseitig helfen. Für private Anliegen könnt ihr uns per Mail kontaktieren (siehe oben). Neuigkeiten zur Vorlesung werden wir ebenfalls auf Zulip ankündigen, in diesem Stream. Ihr könnt in Zulip E-Mail Benachrichtigungen aktivieren – falls ihr nicht regelmäßig auf Zulip seid, macht dies bitte, um keine wichtigen Informationen zu verpassen. Es ist insbesondere auch möglich, Benachrichtigungen nur für den Ankündigungsstream zu aktivieren.

Übungsbetrieb

Ergänzend zur Vorlesung finden jede Woche Tutorien statt, in denen Übungsaufgaben besprochen werden. Zu den Übungsaufgaben werden Musterlösungen am Ender der jeweiligen Woche veröffentlicht. Zur Vorbereitung auf das Tutorium erwarten wir den Besuch der Vorlesungen und die Bearbeitungen der Vorbereitungsaufgaben des jeweiligen Übungsblattes.

Die Tutorien finden in Präsenz statt und werden weder aufgezeichnet noch gestreamt. Die Anmeldung zu den Übungsgruppen erfolgt über TUMonline und wird nach der ersten Vorlesung freigeschaltet. Bitte beachtet, dass die Plätze über ein Matching vergeben werden. Ihr solltet also unbedingt alle passenden Termine auswählen, um sicherzustellen, dass ihr einen Platz bekommt.

Die Zuteilung von Tutoren zu Gruppen ist noch vorläufig.

Wenn ihr keinen Platz zugeteilt bekommen habt oder zu eurem zugeteilten Termin nicht könnt, dann könnt ihr trozdem an den Übungen teilnehmen. Sucht euch einfach ein Tutorium aus. Beachtet allerdings, dass die Räume nur eine begrenzte Kapazität bieten — wenn das Tutorium voll ist, haben angemeldete Studierende Vorrang!

Übungsgruppen

Nr. Gruppenname Tag Startzeit Raum Tutor Plätze frei?  
1 Mo-08-1 Montag 08:15 00.13.036 Alexander Mazur wahrscheinlich  
2 Mo-10 Montag 10:15 00.08.038 Johannes Riemenschneider voll  
3 Di-08-1 Dienstag 08:30 00.08.038 Kacper Darowski wahrscheinlich  
4 Di-08-2' Dienstag 08:15 02.09.023 Fabian Lehr wahrscheinlich  
5 Di-11 Dienstag 11:00 MW 2235 Patrick Großmann wahrscheinlich  
6 Di-12-1 Dienstag 12:30 01.06.020 Kacper Darowski wahrscheinlich  
7 Di-12-2 Dienstag 12:05 03.13.010 Marina Weber vielleicht  
8 Di-14-1 Dienstag 14:15 01.06.020 Nils Harmsen vielleicht  
9 Di-16-1 Dienstag 16:15 02.13.010 Valentin Krasotin wahrscheinlich  
10 Di-16-3' Dienstag 16:15 01.11.018 Adrian Krauß vielleicht  
11 Di-16-4' Dienstag 16:15 02.09.023 Nils Harmsen wahrscheinlich  
12 Di-18 Dienstag 18:00 00.08.038 Patrick Großmann wahrscheinlich  
13 Mi-10-1 Mittwoch 10:15 02.13.010 Vincent Fischer wahrscheinlich  
14 Mi-10-2 Mittwoch 10:15 01.11.018 Benjamin Sölch wahrscheinlich  
15 Mi-12-1 Mittwoch 12:15 MW 2235 Johannes Riemenschneider wahrscheinlich  
16 Mi-12-2 Mittwoch 12:15 01.11.018 Benjamin Sölch wahrscheinlich  
17 Mi-12-3 Mittwoch 12:15 00.13.036 Valentin Krasotin vielleicht  
18 Mi-12-4 Mittwoch 12:15 00.13.054 Ellen Esther Angnis wahrscheinlich  
19 Mi-12-5 Mittwoch 12:15 01.07.023 Nico Fischer wahrscheinlich  
20 Mi-14-1 Mittwoch 14:15 03.13.010 Stefanie Mohr / Marta Grobelna voll  
21 Mi-14-2 Mittwoch 14:15 MW 2235 Marina Weber vielleicht  
22 Mi-16 Mittwoch 16:15 00.08.038 Alexander Mazur vielleicht  
23 Do-08 Donnerstag 08:15 00.08.038 Marc Herrer Casademunt wahrscheinlich  
24 Do-08-1 Donnerstag 08:15 02.07.023 Simon Hanssen wahrscheinlich  
25 Do-10-1 Donnerstag 10:15 00.08.038 Marc Herrer Casademunt wahrscheinlich  
26 Do-10-2 Donnerstag 10:15 03.13.010 Stefanie Mohr / Marta Grobelna wahrscheinlich  
27 Do-10-3 Donnerstag 10:15 01.13.007 Ellen Esther Angnis wahrscheinlich  
28 Do-10-4 Donnerstag 10:15 01.07.023 Vincent Fischer wahrscheinlich  
29 Do-12-1 Donnerstag 12:15 03.13.010 Nico Fischer vielleicht  
30 Do-12-2 Donnerstag 12:15 01.07.023 Adrian Krauß voll  
31 Do-12-3 Donnerstag 12:15 03.09.012 Stefanie Mohr / Marta Grobelna vielleicht  
32 Do-12-4 Donnerstag 12:15 00.06.011 Carmen Rothweiler wahrscheinlich  
33 Do-12-5 Donnerstag 12:15 01.11.018 Mohammad-Mahdi Khadem-Al-Charieh wahrscheinlich  
34 Do-16-1 Donnerstag 16:15 02.13.010 Roland Guttenberg voll  
35 Do-16-2 Donnerstag 16:15 00.08.038 Carmen Rothweiler vielleicht  
36 Do-16-3 Donnerstag 16:15 01.11.018 Mohammad-Mahdi Khadem-Al-Charieh wahrscheinlich  
37 Fr-08 Freitag 08:15 00.13.009A Simon Hanssen wahrscheinlich  
38 Fr-10 Freitag 10:15 02.09.023 Fabian Lehr voll  

Hausaufgaben

Jeden Freitag Nachmittag (beginnend mit der ersten Vorlesungswoche) werden neue Aufgabenblätter veröffentlicht.

  • Die Hausaufgaben werden im Rahmen des für die Korrektur zur Verfügung stehenden finanziellen Budgets korrigiert. Wird dieses erschöpft, kann keine weitere Korrektur stattfinden.
  • Es gibt keinen Anspruch auf die Korrektur der Abgabe.
  • Jene Aufgaben, die korrigiert werden, werden (inkl. Korrekturreihenfolge) auf dem Blatt gekennzeichnet.
  • Die Abgabefrist steht auf dem jeweiligen Hausaufgabenblatt.
  • UPDATE: Die Hausaufgaben werden in Teams beliebiger Größe bearbeitet.
  • Die Hausaufgabenabgabe und Teamregistrierung erfolgt über Moodle.
  • Die Mitglieder eines Teams dürfen auch in verschiedenen Tutorgruppen registriert sein.
  • Die Abgabe darf auch digital mit Latex erstellt werden.
  • Die Abgabe kann auf Deutsch oder Englisch verfasst sein.
  • Die Quizaufgaben werden nicht korrigiert und dienen als Vorbereitung für das wöchentliche Moodle-Quiz.
  • Die Automata Tutor Aufgaben werden nicht manuell korrigiert.
  • Lösungen der Knobelaufgaben können auf Moodle unter "Abgabe Knobelaufgabe" abgegeben werden.

Notenbonus

Es wird keinen Notenbonus geben.

Klausur

Die Endnote in diesem Modul wird über eine schriftliche Klausur vergeben.

Es sind nur die beiden folgenden Hilfsmittel erlaubt:

  1. Ein beidseitig handschriftlich beschriebenes DIN A4 Blatt. (Insbesondere: Mit einem Stift auf Papier geschrieben, nicht gedruckt, nicht digital erstellt.)
  2. Ein Wörterbuch Deutsch-Muttersprache ohne Anmerkungen.

Wir werden die verwendeten Hilfsmittel zusammen mit der Anwesenheit kontrollieren. Die Verwendung von nicht erlaubten Hilfsmitteln wird von uns als Unterschleif gewertet.

Endterm

Die Endterm-Klausur findet am 20.07.2024 um 11:00 - 14:00 Uhr in Präsenz statt. (Aktuell geplant auf dem Campus Garching und dem Stammgelände — wir versuchen das auf Garching zu beschränken.)

Raumnummer Raumname Nachname
TBD    

Retake

Die Wiederholungsklausur (Retake) findet am 08.10.2024 um 11:30 - 14:30 Uhr am Campus Garching in Präsenz statt.

Raumnummer Raumname Matrikelnummer
TBD