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
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 | vielleicht | |
| 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 | wahrscheinlich | |
| 9 | Di-16-1 | Dienstag | 16:15 | 02.13.010 | Valentin Krasotin | vielleicht | |
| 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 | wahrscheinlich | |
| 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 | wahrscheinlich | |
| 21 | Mi-14-2 | Mittwoch | 14:15 | MW 2235 | Marina Weber | wahrscheinlich | |
| 22 | Mi-16 | Mittwoch | 16:15 | 00.08.038 | Alexander Mazur | wahrscheinlich | |
| 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 | wahrscheinlich | |
| 30 | Do-12-2 | Donnerstag | 12:15 | 01.07.023 | Adrian Krauß | vielleicht | |
| 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 | vielleicht | |
| 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 | vielleicht |
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:
- Ein beidseitig handschriftlich beschriebenes DIN A4 Blatt. (Insbesondere: Mit einem Stift auf Papier geschrieben, nicht gedruckt, nicht digital erstellt.)
- 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 auf dem Campus Garching statt. Angabe, Lösung und Korrekturschema sind hier.
Retake
Die Wiederholungsklausur (Retake) findet am 08.10.2024 um 11:30 - 14:30 Uhr am Campus Garching in Präsenz statt.