Fachbereich
Mathematik und Statistik
Universität
Konstanz
 
Schwerpunkt Reelle Geometrie und Algebra > Arbeitsgruppe Mathematische Logik, Mengenlehre und Modelltheorie > Prof. Dr. S. Kuhlmann > Mitarbeiter > Dr. Lothar Sebastian Krapp

text English version

Lehre

Initiator und Leiter der Mathe Initiative Bodensee
Initiator und Leiter des Transferprojektes Algorithmen und Künstliche Intelligenz

Wintersemester 2022/2023
Seminar Grundlagen Künstlicher Intelligenz und ihre Vermittlung in allen Fächern
Workshop Grundlagen der Künstlichen Intelligenz und ihre Anwendung in allen Schulfächern an der Justus-Liebig-Universität Gießen (November 2022)

Sommersemester 2022
Vorlesung Reell abgeschlossen Körper und ganzzahlige Anteile (auf Englisch)

Wintersemester 2021/2022
Fachseminar über Algebra und Logik (auf Englisch und Deutsch)
Übungen zur Algorithmischen Algebraischen Geometrie
Seminar Grundlagen Künstlicher Intelligenz und ihre Anwendung in allen Schulfächern

Sommersemester 2021
Pro-/Fachseminar zur Zahlentheorie (auf Englisch und Deutsch)
Plenumsübung zur Algebra II
Plenumsübung zur algebraischen Zahlentheorie

Wintersemester 2020/2021
Proseminar zur Linearen Algebra (auf Englisch und Deutsch)
Plenumsübung und Übungen zur Algebra I

Sommersemester 2020
Plenumsübung und Übungen zur Analysis II
Fachlektorat für Lehrmittel zu weiterführender Mathematik an der IUBH Internationalen Hochschule (April bis Juli 2020)

Wintersemester 2019/2020
Plenumsübung zur Linearen Algebra I
Vorlesung Mathematik 1 an der HTWG Konstanz
Vorlesung Mathematik (WMKE19A) an der DHBW Ravensburg (Oktober bis Dezember 2019)
Vorlesung Mathematik (WMKE19B) an der DHBW Ravensburg (Januar bis März 2020)
Mathewerkstatt

Sommersemester 2019
Übungen zur reellen algebraischen Geometrie II (auf Englisch)
Mathewerkstatt
Autor für Lehrmittel zu Statistik an der Allensbach Hochschule Konstanz (Juli bis Oktober 2019)

Wintersemester 2018/2019
Übungen zur reellen algebraischen Geometrie I (auf Englisch)
Mathewerkstatt

Sommersemester 2018
Tutorium zur Modelltheorie
Mathewerkstatt
Arbeitsgruppe Können Computer denken? Automatisches Beweisen und künstliche Intelligenz auf der Sommerakademie Leysin (Studienstiftung des deutschen Volkes, August 2018)

Wintersemester 2017/2018
Vorlesung Wirtschaftsmathematik (W MS 17 A) an der DHBW Ravensburg (Oktober bis Dezember 2017)
Vorlesung Wirtschaftsmathematik (W MS 17 B) an der DHBW Ravensburg (Januar bis März 2018)
Mathewerkstatt
Mathe Initiative Bodensee

Sommersemester 2017
Tutorium zur Modelltheorie
Mathewerkstatt
Mathe Initiative Bodensee

Wintersemester 2016/2017
Proseminar zur Linearen Algebra (auf Englisch und Deutsch)
Mathewerkstatt
Mathe Initiative Bodensee

Sommersemester 2016
Übungen und Plenumsübung zur Linearen Algebra (B2)
Mathewerkstatt

Wintersemester 2015/2016
Übungen und Tutorium zur Algebra (B3)
Mathewerkstatt

Wintersemester 2014/2015
Grundlagenübungen (Mathematik) an der Albert-Ludwigs-Universität Freiburg (Dezember 2014 bis Januar 2015)
Übungen zur Vorlesung Logik für Informatiker an der Albert-Ludwigs-Universität Freiburg (Dezember 2014 bis Januar 2015)



Letzte Änderung: