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 zu den Ergänzungen stehe ich jederzeit und gerne zur Verfügung. Einfach eine E-Mail schicken oder persönlich vorbeikommen.
Sonstige Ansprechpartner:
- Die Fachstudienberater (Studiengangsspezifische Fragen)
- Die Prüfungsausschüsse (Prüfungsangelegenheiten)
- Prof. Ulrich Hertrampf (Vorlesung und Anrechnung von Übungsscheinen)
- Martin Seybold (Übungsbetrieb, Scheinbedingungen und Prüfung)
- Die Tutoren (Präsenz- und Hausaufgaben)
Zeit und Ort
Freitags von 14:00 bis 15:30 Uhr im Hörsaal V 7.02.
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 Vorbereitung auf die Prüfung helfen.
Es wird drei Aufgabentypen geben:
- Präsenzaufgaben werden in der Ergänzung besprochen.
- Zusatzaufgaben sollen dem Selbststudium dienen und werden deshalb nicht in den Ergänzungen besprochen.
- Knobelaufgaben sind deutlich auspruchsvoller und sind für interessierte Studierende gedacht.
Termine und Materialien
Die Materialien können jederzeit überarbeitet werden. Fehlermeldungen bitte per E-Mail an mich. Vielen Dank!
Termin | Datum | Inhalt | Aufgaben | Lösungen | Videos |
---|---|---|---|---|---|
1 | 27.10.2017 | Einheiten 3-4 | [PDF] | [PDF] | N/A |
2 | 03.11.2017 | Einheiten 1-2 | [PDF] | [PDF] | N/A |
3 | 10.11.2017 | Einheiten 5-7 | [PDF] | [PDF] | N/A |
4 | 17.11.2017 | Einheiten 8-13 | [PDF] | [PDF] | N/A |
5 | 24.11.2017 | Einheiten 8-11 | [PDF] | [PDF] | N/A |
6 | 01.12.2017 | Einheiten 14-16 | [PDF] | [PDF] | N/A |
7 | 08.12.2017 | Einheiten 14-17 | [PDF] | [PDF] | N/A |
8 | 15.12.2017 | Einheiten 16-17, 22-25 | [PDF] | [PDF] | N/A |
9 | 22.12.2017 | Einheiten 25, 27-28 | [PDF] | [PDF] | N/A |
10 | 12.01.2018 | Einheiten 31-32 | [PDF] | [PDF] | N/A |
11 | 19.01.2018 | Einheiten 33-34 | [PDF] | [PDF] | N/A |
12 | 26.01.2018 | Prüfungsvorbereitung | [PDF] | [PDF] | [MP4] |
13 | 02.02.2018 | Prüfungsvorbereitung | [PDF] | [PDF] | [MP4] |
14 | 09.02.2018 | Prüfungsvorbereitung | [PDF] | [PDF] | [MP4] |
Bemerkung: Es gibt leider keine Aufzeichnungen der ersten 11 Ergänzungen. Der Wunsch, die Ergänzung aufzuzeichnen, wurde erst nach der 11. Ergänzung geäußert.
Zusatzmaterialien:
- Flussdiagramm für Studienanfänger [PDF]
- Lernblatt zum Selberausfüllen [PDF]
- Scheinklausur vom Sommersemester 2016 [PDF] mit Lösung [PDF]
- Erste Scheinklausur vom Wintersemester 2016 [PDF] mit Lösung [PDF]
- Zweite Scheinklausur vom Wintersemester 2016 [PDF] mit Lösung [PDF]
- Modulprüfung vom Sommersemester 2017 [PDF] mit Lösung [PDF]
- Scheinklausur vom Wintersemester 2017 [PDF] mit Lösung [PDF]
Hilfreiche Links
- Aufgabensammlung zur vollständigen Induktion von Rainer Müller.
- The Pumping Game von Edmund Weitz. Auf dieser Webseite kann man das Pumping-Lemma für reguläre Sprachen spielerisch üben. 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.
- Turing Machine Simulator von Martín Ugarte. Achtung: Diese Seite verwendet Coinhive! Auf dieser Webseite können deterministische Turingmaschinen simuliert werden. Beispiele:
- Turingmaschine aus Ergänzung 11. Diese Turingmaschine akzeptiert die Sprache L = {aⁿbⁿcⁿ∣n∊ℕ}.
- Binäraddierer. Auf Eingabe u+v mit u,v∊{0,1}⁺ berechnet diese Turingmaschine die Summe von u und v in Binärdarstellung.
- Dezimalzähler. Auf Eingabe w∊{A}⁺ gibt diese Turingmaschine die Anzahl der As im Eingabewort als Dezimalzahl an.
Vielen Dank an Lucas Haug für den Binäraddierer, den Dezimalzähler und den Link zum Pumping Game!