Nachfolgend sämtliche (eigenen) Unterlagen von Tutoraten, die ich an der Universität Freiburg gehalten habe.

Informatik I (WS05/06)

• Website der Vorlesung
• Aufgabenstellungen von Blatt 1 bis Blatt 15
• Musterlösungen von Blatt 3 bis Blatt 15
• der Beweis aus der Vorlesung, dass überabzählbar viele Funktionen existieren, geführt mit dem cantorschen Diagonalschluss. Der Beweis wurde von mir aufbereitet und um Erklärungen ergänzt.
• Zwei von mir erstelle Beispiele zur Berechnung von Activation Records

Grundlagen der künstlichen Intelligenz (SS07)

• Website der Vorlesung
• Der Algorithmus AC4 sowie einem ausführlichen Beispiel dazu, das ich erstellt habe.

Grundlagen der künstlichen Intelligenz (SS08)

• Website der Vorlesung
• keine Unterlagen

Formale Methoden und Programmierung (WS08/09)
Alle Aufgabenblätter und Lösungen wurden von mir ausgedacht und geTeXt. In dieser ZIP fehlt das Aufgabenblatt 8, da dieses nicht von mir selbst erdacht und erstellt wurde.

• Website der Vorlesung
• alle Aufgaben und Musterlösungen der gesamten Vorlesung