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 October 23).

Problem Sets:

• Exercise Sheet 1, due October 22.
• Exercise Sheet 2, due October 29.
• Exercise Sheet 3, due November 5.