Uni

Alles, was mit meinem Informatik-Studium an der TU München zu tun hat...

Skripten

• Höhere Mathematik I für Informatiker (Prof. G. Kemper, WS 2004/05)
• Höhere Mathematik II für Informatiker (Prof. G. Kemper, SS 2005) (nur bis einschließlich des Themas Differentialrechnung)
• Ergänzungen zu den HM3-Folien von Dr. Peter Vachenauer (WS 2005/06)
• Formelsammlung zur Vorlesung Messtechnik für Informatiker (SS 2006, Ergänzung und Zusammenfassung des Skripts)

Präsentationen

• Alternative Antriebstechniken heute - Referat im Rahmen der Übung "Mobilität und technische Visionen" im WS 2004/05

Seminare

• Ferienakademie 2006, Kurs 6 Numerical Simulation: From the Model to the Software: Solving Systems of Linear Equations Using Conjugate Gradients (Vortrag und Maple-Worksheet)
• Hauptseminar Perlen der Informatik (SS 2006): Symbolic model checking of security protocols (Ausarbeitung und Vortrag)
• JASS 2006 Course 1 Proofs and Computers: Randomness and non-uniformity (Ausarbeitung und Vortrag)
• Proseminar Mathematische und logische Perlen der Informatik (SS 2005): Ausarbeitung und Vortrag zum Thema Der ungetypte Lambda-Kalkül als Programmiersprache

Stundenpläne

• WS 2004/05
• SS 2005
• WS 2005/06
• SS 2006
• WS 2006

Sonstiges

• Weisheiten aus dem Uni-Alltag