![[Translate to Englisch:] Studierende im Hörsaal während einer Vorlesung](/fileadmin/_processed_/e/a/csm_Studierende_Hoersaal_Vorlesung_e2b7be0284.jpg)
Courses
Lecturer: Prof. Dr. Anton Freund
Lineare Algebra 1
Information about this course (in German) is available via WueStudy. If you have any questions, please feel free to contact us by email at anton.freund@uni-wuerzburg.de. Thank you for your interest!
4 h, Mon and Fri 8-10 both Turing-HS Computer Science Building
Exercises to Lineare Algebra 1
in Groups 2 h, Wed 12-14,14-16 S0.106 ; Thu 8-10 S0.101 ; Thu 12-14 SE 8 ; Thu 14-16 S0.106 ; Fri 10-12 S0.106 (Library & Seminar Centre)
Lecturer: Prof. Dr. Anton Freund
Seminar Mathematical Logic
This course does not require any prerequisites from logic. It presents an alternative to my lecture `Introduction to Mathematical Logic' (note that the lecture next takes place in winter 2026/27). If you are interested in logic, you can thus attend the seminar or the lecture (but probably not both). Either way, you can achieve solid knowledge in logic, and write e.g. a Bachelor's thesis afterwards. Further information about this course (in German) is available via WueStudy. If you have any questions, please feel free to contact us by email at anton.freund@uni-wuerzburg.de. Thank you for your interest!
2 h, Fri 10-12 S0.101(Library & Seminar Centre)
Lecturer: Prof. Dr. Anton Freund
Research Seminar Mathematical Logic (2h)
on agreement
Lecturer: Prof. Dr. Anton Freund
Introduction to Mathematical Logic (4+2 in the Bachelor program)
Logic investigates what can be proved, computed and defined in different settings. In the lecture, we will make these notions precise, prove Gödel's incompleteness theorems, and consider selected applications. The lecture takes place in German, but English course notes are available. Please feel free to contact me via email to anton.freund@uni-wuerzburg.de. I am very happy about your interest!
Mon 10-12 HS 4 and Tue 12-14 S0.103
Exercises for Introduction to Mathematical Logic
Lecturer: Katarzyna Kowalik
Wed 14-16 S0.107
___________________________________________________________
Dozent: Prof. Dr. Anton Freund
Elementary Number Theory (teacher training Grund-, Mittel- and Realschule)
Information about this course (in German) will soon be available via WueStudy.
4 St., Mo 8-10, Mi 10-12 S0.108
Exercises for Number Theory
in Groups, Thu 12-14 S0.103, 14-16 S1.101, 16-18 S0.101
Lecturer: Prof. Dr. Anton Freund
Research in Groups - Mathematical Logic and Discrete Mathematics (2+2 in the Master program)
This course is designed in such a way that it requires no prerequisites from logic. Our aim will be a concrete example for Gödel's incompleteness theorem: we want to show that Kruskal's theorem from graph theory can only be proved when relatively strong axioms are available as assumptions. The course is expected to take place in English. Further information is available on WueStudy.
Fri 14-16
Exercises
Dates to be announced ("Blockseminar")
Lecturer: Prof. Dr. Anton Freund
Introduction to Mathematical Logic (4+2 in the Bachelor program)
Logic investigates what can be proved, computed and defined in different settings. In the lecture, we will make these notions precise, prove Gödel's incompleteness theorems, and consider selected applications. The lecture takes place in German, but English course notes are available. When you register via WueStudy, you also gain access to the WueCampus course with further information. Please feel free to contact me via email to anton.freund@uni-wuerzburg.de. I am very happy about your interest!
Mon 10-12 HS 2 and Fri 10-12 HS 4
Exercises for Introduction to Mathematical Logic
in Groups, Tue 12-14, 16-18 S0.107
