Machine Learning and Mathematical Logic: Winter 2025-2026

General Information:

Lectures are in SR 226 in Hermann-Herder-Strasse 10 on Thursdays from 14:15 to 15:45.
Übungsstunden are will be held on Wednesdays from 16:20 to 17:50 in Ernst-Zermelo-Strasse 1 in Room 318.
My Email: maxwell(dot)levine(at)mathematik(dot)uni-freiburg(dot)de (do not hesitate to email me, entweder auf Englisch oder auf Deutsch).

Sources for the Course:

Course notes (updated after lecture on February 5).

Final Exam:

Please email me to set a date and time for the oral exam. Here is a study guide.

Problem Sets:

Exercise Sheet 1, due October 22.
Exercise Sheet 2, due October 29.
Exercise Sheet 3, due November 5 (partial solutions).
Exercise Sheet 4, due November 12.
Exercise Sheet 5, due November 19.
Exercise Sheet 6, due November 26.
Exercise Sheet 7, due December 3.
Exercise Sheet 8, due December 10.
Exercise Sheet 9, due December 17.
Exercise Sheet 10, due January 7.
Exercise Sheet 11, due January 14.
Exercise Sheet 12, due January 21.
Exercise Sheet 13, due January 28.
Exercise Sheet 13.5, due February 4.