Courses taught by
Helmut Schwichtenberg
Sommersemester 2008
Lecture Course
Diskrete Strukturen
Seminar
Proof Theory
Oberseminar
Wintersemester 2007/08
Lecture Course
Elemente der Zahlentheorie, Aufbau des Zahlensystems
Lecture notes
Elemente der Zahlentheorie, Aufbau des Zahlensystems
WS 2007/08
Program Extraction from Proofs
SS 2007
Recursion Theory
WS 2006/7
Proof Theory
SS 2006
Lineare Algebra
WS 2004/5 - SS 2005
Nichtnumerisches Programmieren (Scheme)
WS 2004
Mathematical Logic
WS 2003/4 - SS 2004
Diskrete Strukturen
WS 2002
Funktionales Programmieren im Gymnasialunterricht
SS 2000
Last change: 2008-04-17
Helmut Schwichtenberg, schwicht[at]math.lmu.de