Lehrveranstaltungen
Aktuelle Lehrveranstaltungen: Wintersemester 2024/25
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!
4 St., Mo 10-12 HS 4, Di 12-14 S0.103
Übungen zur Einführung in die Mathematische Logik
Dozent: Katarzyna Kowalik
2 St., Mi 14-16 S0.107
___________________________________________________________
Dozent: Prof. Dr. Anton Freund
Elementare Zahlentheorie (Grund-, Mittel- und Realschule)
Informationen zu dieser Veranstaltung finden Sie in Kürze über WueStudy. Wenden Sie sich bei Fragen gerne per Email an anton.freund@uni-wuerzburg.de. Ich freue mich über Ihr Interesse!
4 St., Mo 8-10, Mi 10-12 S0.108
Übungen zur Elementaren Zahlentheorie
in Gruppen, 2 St., Do 12-14 S0.103, 14-16 S1.101, 16-18 S0.101
Frühere Lehrveranstaltungen
Dozent: Prof. Dr. Anton Freund
Arbeitsgemeinschaft Diskrete Mathematik zu `Unprovability in Mathematics' (2+2 im Master; Änderungen vorbehalten)
Diese Veranstaltung ist so konzipiert, dass sie keinerlei Vorkenntnisse aus der Logik verlangt. Unser Ziel wird sein, ein konkretes Beispiel für den Gödelschen Unvollständigkeitssatz zu erarbeiten: Wir wollen zeigen, dass der Kruskalsche Satz aus der Graphentheorie nur bewiesen werden kann, wenn verhältnismäßig starke Axiome als Annahmen zur Verfügung stehen. Der Kurs findet voraussichtlich auf englisch statt. Verbindliche Informationen finden Sie beizeiten im Vorlesungsverzeichnis.
Übungen
Termine werden noch bekannt gegeben ("Blockseminar").
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
