Lehrveranstaltungen
Aktuelle Lehrveranstaltungen: Sommersemester 2024
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")
Zukünftige Lehrveranstaltungen
Dozent: Prof. Dr. Anton Freund
Einführung in die Mathematische Logik (4+2 im Bachelor)
Die Logik untersucht, was in verschiedenen Kontexten bewiesen, berechnet und definiert werden kann. In der Vorlesung werden wir diese grundlegenden Begriffe präzisieren, die Gödelschen Unvollständigkeitssätze beweisen, sowie ausgewählte Anwendungen erarbeiten. Die Vorlesung findet auf deutsch statt, wobei ein englisches Skript zur Verfügung steht. Wenden Sie sich bei Fragen gerne per Email an anton.freund@uni-wuerzburg.de. Ich freue mich über Ihr Interesse!
Frühere Lehrveranstaltungen
Dozent: Prof. Dr. Anton Freund
Einführung in die Mathematische Logik (4+2 im Bachelor)
Die Logik untersucht, was in verschiedenen Kontexten bewiesen, berechnet und definiert werden kann. In der Vorlesung werden wir diese grundlegenden Begriffe präzisieren, die Gödelschen Unvollständigkeitssätze beweisen, sowie ausgewählte Anwendungen erarbeiten. Die Vorlesung findet auf deutsch statt, wobei ein englisches Skript zur Verfügung steht. Wenn Sie sich über WueStudy anmelden, bekommen Sie auch Zugriff auf den WueCampus-Kurs mit weiteren Informationen. Wenden Sie sich bei Fragen gerne per Email an anton.freund@uni-wuerzburg.de. Ich freue mich über Ihr Interesse!
4 St. Mo 10-12 HS 2, Fr 10-12 HS 4
Übungen zur Einführung in die Mathematische Logik
in Gruppen, 2 St., Di 12-14, 16-18 S0.107
