Lehrveranstaltungen
Aktuelle Lehrveranstaltungen: Wintersemester 2025/2026
Dozent: Prof. Dr. Anton Freund
Lineare Algebra 1
Informationen zu dieser Veranstaltung finden Sie ü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 und Fr 8-10 jeweils Turing-HS (Informatik Gebäude)
Übungen zur Lineare Algebra 1
in Gruppen, 2 St., Mi 12-14,14-16 S0.106 ; Do 8-10 S0.101 ; Do 12-14 SE 8 ; Do 14-16 S0.106 ; Fr 10-12 S0.106 (Bibl- u Seminarzentrum)
Dozent: Prof. Dr. Anton Freund
Seminar Mathematische Logik
Diese Veranstaltung ist so konzipiert, dass sie keinerlei Vorkenntnisse aus der Logik verlangt. Sie bietet eine Alternative zu meiner Vorlesung `Einführung in die Mathematische Logik' (wobei letztere erst wieder im WiSe 2026/27 angeboten wird). Wenn Sie sich für Logik interessieren, können Sie also entweder das Seminar oder die Vorlesung besuchen (aber eher nicht beides). Auf beiden Wegen können Sie sich gute Grundlagen in der Logik erarbeiten und z.B. danach eine Bachelorarbeit schreiben. Weitere Informationen finden Sie über WueStudy. Wenden Sie sich bei Fragen gerne per Email an anton.freund@uni-wuerzburg.de. Ich freue mich über Ihr Interesse!
2 St., Fri 10-12 S0.101 (Bibl- u Seminarzentrum)
Dozent: Prof. Dr. Anton Freund
Oberseminar Mathematische Logik
Termin nach Vereinbarung
Frühere Lehrveranstaltungen
Elternzeit, daher keine Veranstaltungen
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
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
Elternzeit, daher keine Veranstaltungen
