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 December 18).

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.