Department of
Mathematics and Statistics
University of
Konstanz
 
Research Group in Real Algebraic Geometry > Working Group on Mathematical Logic, Set Theory and Model Theory > Prof. S. Kuhlmann > Staff > Dr Lothar Sebastian Krapp

text Deutsche Version

Teaching

Initiator and head of Mathe Initiative Bodensee ("Maths initiative Lake Constance")
Initiator und head of the transfer project Algorithmen und Künstliche Intelligenz ("Algorithms and Artificial Intelligence")

Winter semester 2022/2023
Seminar Principles of Artifical Intelligence and its Teaching in All Subjects (in German)
Workshop Principles of Artifical Intelligence and its Treatment in All School Subjects (in German) at University of Giessen (November 2022)

Summer semester 2022
Lecture Real Closed Fields and Integer parts

Winter semester 2021/2022
Seminar on Algebra and Logic (in English and German)
Exercises for Algorithmic Algebraic Geometry (in German)
Seminar Principles of Artifical Intelligence and its Treatment in All School Subjects (in German)

Summer semester 2021
Seminar on Number Theory (in English and German)
Plenary tutorial for Algebra II (in German)
Plenary tutorial for Algebraic Number Theory (in German)

Winter semester 2020/2021
Proseminar on Linear Algebra (in English and German)
Plenary tutorial, head tutor and exercises for Algebra I (in German)

Summer semester 2020
Plenary tutorial, head tutor and exercises for Analysis II (in German)
Subject editor for teaching materials in Advanced Mathematics (in German, IUBH University of Applied Sciences, April to July 2020)

Winter semester 2019/2020
Plenary tutorial for Linear Algebra I (in German)
Lecture Mathematics 1 (in German) at Konstanz University of Applied Sciences (September 2019 to March 2020)
Lecture Mathematics (WMKE19A) (in German) at Baden-Württemberg Cooperative State University (October to December 2019)
Lecture Mathematics (WMKE19B) (in German) at Baden-Württemberg Cooperative State University (January to March 2020)
Mathewerkstatt

Summer semester 2019
Exercises for Real Algebraic Geometry II
Mathewerkstatt
Author for teaching materials in Statistics (in German, Allensbach University, July to October 2019)

Winter semester 2018/2019
Exercises for Real Algebraic Geometry I
Mathewerkstatt

Winter semester 2018
Exercise class for Model Theory (in German)
Mathewerkstatt
Workshop Are computers able to think? Automatic theorem proving and artificial intelligence (in German, Summer school Leysin, German Academic Scholarship Foundation, August 2018)

Winter semester 2017/2018
Lecture Business Mathematics (W MS 17 A) (in German) at Baden-Württemberg Cooperative State University (October to December 2017)
Lecture Business Mathematics (W MS 17 B) (in German) at Baden-Württemberg Cooperative State University (January to March 2018)
Mathewerkstatt
Mathe Initiative Bodensee

Summer semester 2017
Exercise class for Model Theory (in German)
Mathewerkstatt
Mathe Initiative Bodensee

Winter semester 2016/2017
Proseminar on Linear Algebra (in English and German)
Mathewerkstatt
Mathe Initiative Bodensee

Summer semester 2016
Head tutor and plenary tutorial for Linear Algebra II (in German)
Mathewerkstatt

Winter semester 2015/2016
Head and class tutor for Algebra (in German)
Mathewerkstatt

Winter semester 2014/2015
Basic exercise class in Mathematics at University of Freiburg (December 2014 to January 2015)
Exercises for Logic in Computer Science (in German) at University of Freiburg (December 2014 to January 2015)



Last update: