Seminar: Di, 16-18h, SR 127, Ernst-Zermelo-Str. 1
Preregistration: no preregistration
Preliminary Meeting 23.07., 12:15, Fakultätssitzungsraum 427, Ernst-Zermelo-Str. 1
Preparation meetings for talks: Dates by arrangement
In HISinOne: no course registration, but exam registration until 8 October 2025.
Teacher: Heike Mildenberger
Assistant: Stefan Ludwig
Language: in German
The topics are: Finite and infinite graphs, Eulerian paths, connectivity properties, colourings, spanning trees, random graphs. If desired, more advanced subjects, such as the Rado graph and 0-1 laws or probabilistic methods, can also be presented.
Linear Algebra I and II, Analysis I and II
Undergraduate Seminar (2HfB21, BSc21, MEH21, MEB21)
Logic for Philosophy Students
Lecture: Mi, 10-12h, HS 3043, KG III
Tutorial: 2 hours, various dates
Teacher: Markus Junker
Assistant: Stefan Ludwig
Language: in German
Lecture: Di, Do, 12-14h, HS II, Albertstr. 23b
Tutorial: 2 hours, date to be determined and announced in class
Sit-in exam 28.07., 14:00-17:00, SR 318, Ernst-Zermelo-Str. 1
Sit-in exam (resit) 09.12., 14:30-17:30, SR 318, Ernst-Zermelo-Str. 1
Teacher: Amador Martín Pizarro
Assistant: Stefan Ludwig
Language: in German
This introductory course in mathematical logic consists of several parts. It the basics of predicate logic and a brief introduction to model theory and the axiom system as well as the axiom system of set theory. The aim of the lecture is to explain the recursion-theoretical content of the predicate calculus, in particular the so-called Peano-arithmetic and Gödel's incompleteness theorems.
Basic knowledge of mathematics from first semester lectures
Elective (Option Area) (2HfB21)
Compulsory Elective in Mathematics (BSc21)
Mathematical Concentration (MEd18, MEH21)
Pure Mathematics (MSc14)
Elective (MSc14)
Elective (MScData24)
Logic for Philosophy Students
Lecture: Mi, 10-12h, HS 3117, KG III
Tutorial: 2 hours, various dates
Teacher: Amador Martín Pizarro
Assistant: Stefan Ludwig
Language: in German