Lehrveranstaltungen von Helmut Schwichtenberg
Wintersemester 2025/26
- Vorlesung Mathematische Logik
- Seminar Konstruktive Analysis
- Oberseminar
Sommersemester 2025
- Vorlesung Logik II: Beweise und Programme
- Oberseminar
Wintersemester 2024/25
- Vorlesung Mathematische Logik
- Seminar Konstruktive Analysis
- Oberseminar
Sommersemester 2024
- Vorlesung Logik II: Beweise und Programme
- Oberseminar
Wintersemester 2023/24
- Vorlesung Mathematische Logik
- Seminar Konstruktive Analysis
- Oberseminar
Sommersemester 2023
- Vorlesung Logik II
- Oberseminar
Wintersemester 2022/23
- Vorlesung Mathematische Logik
- Seminar Konstruktive Analysis
- Oberseminar
Sommersemester 2022
- Vorlesung Logik II
- Oberseminar
Wintersemester 2021/22
- Vorlesung Mathematische Logik
- Seminar Konstruktive Analysis
- Oberseminar
Frühere Semester
- Vorlesung Ausgewählte Kapitel aus der Beweistheorie SS 2013
Skripten
- Decorating natural deduction March 2016, Verona.
- Mathematical Logic WS 2009/10 - SS 2010
- Diskrete Strukturen SS 2008
- Elemente der Zahlentheorie, Aufbau des Zahlensystems WS 2007/08
- Program Extraction from Proofs SS 2007
- Recursion Theory WS 2006/07
- Proof Theory SS 2006
- Lineare Algebra WS 2004/05 - SS 2005
- Nichtnumerisches Programmieren (Scheme) WS 2004/05
- Funktionales Programmieren im Gymnasialunterricht SS 2000