towas Informatik-Seite

Lehrveranstaltungen, die ich betreut habe

WS 2004/05

• Programmentwicklung I
• Programmentwicklung II

SS 2004

• Softwarepraktikum

WS 2003/04

• Theorembeweisen in der Induktiven Theorie
• Theorembeweisen in der Prädikatenlogik

SS 2003

• Reduktionssysteme
• Programmentwicklung I

WS 2002/03

• Entwurf und Analyse von Algorithmen
• Proseminar Kryptographie

SS 2002

• Logik
• Informatik für Hörer anderer Fachrichtungen II