Diese Veranstaltung ergänzt die Vorlesung Theoretische Informatik I.
Sie wird in Form einer Vortragsübung gehalten, in der Aufgaben vorgerechnet und Fragen zum Vorlesungsstoff beantwortet werden.
Ansprechpartner
Für Fragen, Wünsche und Anregungen zur Ergänzung oder Fragen zum Vorlesungsstoff stehe ich jederzeit und gerne zur Verfügung. Einfach vorbeikommen oder eine E-Mail schreiben und sehr gerne mich dabei duzen!
Sonstige Ansprechpartner:
- Studiengangsspezifische Angelegenheiten: die Fachstudienberater
- Prüfungsangelegenheiten: die Prüfungsausschüsse
- Fragen zur Anrechnung von Übungsscheinen: Prof. Dr. Ulrich Hertrampf
- Fragen zu Übungsbetrieb, Scheinbedingungen und Prüfung: Jan Philipp Wächter
- Fragen zu den Hausübungen: die Tutoren
Termine
Aus verwaltungstechnischen Gründen müssen wir den Termin der Ergänzung leider verschieben. Der neue Termin ist zwar nicht kollisionsfrei, aber wir haben uns bemüht, die Anzahl der Studierenden zu minimieren, bei denen durch den Wechsel eine Terminkollision entsteht.
Termin: Mittwochs von 11:30 17:30 bis 13:00 19:00 Uhr im Hörsaal V 38.01 V 47.02.
Beginn: 16.10.2019
Ausnahmen:
- 16.10.2019: Ergänzung von 14:00 bis 15:30 Uhr im Hörsaal V 38.01.
- 25.12.2019: Keine Ergänzung (Weihnachten).
- 01.01.2020: Keine Ergänzung (Neujahr).
- 08.01.2020: Keine Ergänzung wegen Krankheit.
- 29.01.2020: Keine Ergänzung wegen Krankheit.
- 05.02.2020: Prüfungsvorbereitung bis 21 Uhr.
Der Hörsaal kann mit der Suchfunktion des virtuellen Lageplanes der Universität sehr leicht gefunden werden.
Aufgaben
Die Aufgaben sollen das Verständnis des Vorlesungsstoffes fördern und den Studierenden bei der Bearbeitung der Hausaufgaben helfen.
Es wird drei Aufgabentypen geben:
- Vorbereitungsaufgaben sind kleine Grundwissensaufgaben, in denen der aktuelle Vorlesungsstoff anhand von einfachen Beispielen geübt wird. Da sie thematisch auf die Ergänzung vorbereiten, sollten sie vor der Ergänzung selbstständig gelöst werden. Musterlösungen werden zur Selbstkontrolle schon vor der Ergänzung zur Verfügung gestellt.
- Präsenzaufgaben werden in der Ergänzung besprochen. Es wird dringend empfohlen, die Aufgabenstellungen vor der Ergänzung gelesen und verstanden zu haben. Nach der Ergänzung werden Musterlösungen zu allen Präsenzaufgaben zur Verfügung gestellt. Die Präsenzaufgaben, die aus Zeitgründen nicht vollständig besprochen werden, sollen dem Selbststudium dienen. Die selbstständige Bearbeitung dieser Aufgaben ist sehr zu empfehlen und sollte nicht schwer fallen, wenn man den Stoff der jeweiligen Ergänzung verstanden hat. Für einen optimalen Lerneffekt sollten Musterlösungen nur zur Kontrolle verwendet werden.
- Knobelaufgaben sind deutlich auspruchsvoller und sind für interessierte Studierende gedacht. Um den Spaß am Knobeln nicht zu verderben, gibt es keine Musterlösungen zu Knobelaufgaben. Fragen und Lösungsvorschläge sind jederzeit herzlich willkommen!
Materialien
In der Regel werden sämtliche Aufgaben und Lösungen zu Vorbereitungsaufgaben spätestens zwei Tage vor der jeweiligen Ergänzung zur Verfügung gestellt und Lösungen zu Präsenzaufgaben spätestens zwei Tage danach. Die Aufzeichnungen werden hochgeladen, sobald ich diese vom Aufzeichnungsteam des TIK erhalten habe. Dies passiert in der Regel wenige Stunden nach der Veranstaltung.
Bereits hochgeladene Materialien können jederzeit überarbeitet werden. Fehlermeldungen bitte per E-Mail an mich. Ob falsche Endungen, falsche Artikel oder falsche Kommas: Über Hinweise auf sprachliche Fehler freue ich mich besonders, weil ich aus ihnen lernen kann. Vielen Dank!
Termine | Ergänzungsblätter | Aufzeichnungen | ||||
---|---|---|---|---|---|---|
Nr. | Datum | Inhalt | Aufgaben | Lösungen | Tafel | Beamer |
1 | 16.10.2019 | Einheit 1 | [PDF] | [PDF] | N/A | N/A |
2 | 23.10.2019 | Einheiten 2-3 | [PDF] | [PDF] | [MP4] | N/A |
3 | 30.10.2019 | Einheiten 4-7 | [PDF] | [PDF] | [MP4] | [MP4] |
4 | 06.11.2019 | Einheiten 8-9 | [PDF] | [PDF] | [MP4] | [MP4] |
5 | 13.11.2019 | Einheiten 8-9 | [PDF] | [PDF] | [MP4] | [MP4] |
6 | 20.11.2019 | Einheiten 10-11 | [PDF] | [PDF] | [MP4] | [MP4] |
7 | 27.11.2019 | Einheit 12 | [PDF] | [PDF] | [MP4] | [MP4] |
8 | 04.12.2019 | Einheiten 13-15 | [PDF] | [PDF] | [MP4] | [MP4] |
9 | 11.12.2019 | Einheiten 15-16 | [PDF] | [PDF] | [MP4] | [MP4] |
10 | 18.12.2019 | Einheiten 17-18 | [PDF] | [PDF] | [MP4] | [MP4] |
11 | 08.01.2020 | Einheiten 19-28 | [PDF] | [PDF] | N/A | N/A |
12 | 15.01.2020 | Einheiten 29-31 | [PDF] | [PDF] | [MP4] | [MP4] |
13 | 22.01.2020 | Einheiten 32-34 | [PDF] | [PDF] | [MP4] | [MP4] |
14 | 29.01.2020 | Einheiten 35-37 | [PDF] | [PDF] | N/A | N/A |
15 | 05.02.2020 | Prüfungsvorbereitung | [PDF] | [PDF] | [MP4] | [MP4] |
Bemerkungen:
- Ergänzung 1: Keine Aufzeichnungen aus technischen Gründen.
- Ergänzung 2: Keine separate Aufzeichnung des Beamerbilds, da das Problem, dass dieses auf dem Video schlecht zu erkennen ist, bis dahin nicht bekannt war.
- Ergänzung 10: Piktogramme von Freepik, verfügbar auf www.flaticon.com.
- Ergänzung 11: Keine Aufzeichnungen, da Ergänzung ausgefallen.
- Ergänzung 14: Keine Aufzeichnungen, da Ergänzung ausgefallen.
Zusatzmaterialien:
Hilfreiche Links
- Webseite der Vorlesung Mathematik 1 für inf, swt, msv. Das Vorlesungsskript ist frei verfügbar. Für die TI-1-Vorlesung ist das komplette Kapitel 1 (Grundlagen) und die Abschnitte 2.1 (Restklassen) und 2.2 (Monoide und Gruppen) mit Ausnahme des Abschnittes 1.9 (Euklidscher Algorithmus) wichtig.
- Meine private Webseite. Unter Projekte kann im Abschnitt Mathe-Trainer eine PDF-Datei heruntergeladen werden. Aus dieser Datei stammen die Folien, die ich in den ersten Ergänzungen benutzt habe. Relevant für uns ist insbesondere das komplette Kapitel 1 (Grundlagen) mit Ausnahme der Abschnitte 1.4. 1.10 und 1.12.
- Tipps für Mathematik-Anfänger von Terence Tao. Insbesondere finde ich die Einträge unter Undergraduate level (zum Beispiel more to maths than rigour and proofs) für Studienanfägner interessant.
- Aufgabensammlung zur vollständigen Induktion von Rainer Müller.
- Simulatoren für Grammatiken und Automaten:
- The Pumping Game von Edmund Weitz. Wichtig: Bitte beim zweiten Zug auf Continue drücken ohne den Slider zu bewegen. Der Grund hierfür ist, dass hier eine allgemeinere Version des Pumping-Lemmas implementiert wurde, die wir in der Vorlesung nicht behandelt haben.
- The CYK Algorithm von Robert Eisele.
- Simulatoren für Turingmaschinen:
- Turing Machine Simulator von Anthony William Morphett.
- Turing Machine Visualization von Andy Li.
- Tursi von Claus Schätzle.
- Online Turing Machine Simulator von Martin Ugarte. Achtung: Diese Seite verwendet Coinhive!