News
Lecture 2: Slides & Exercise Sheet
Written on 10.11.2025 16:51 by Erik Pallas
Dear students,
we just released the slides of today's lectures, the second exercise sheet and some additional material on unification. Please note that exercise 3 on this week's sheet is a bonus exercise and does not count to the maximum number of points; for more details see the instructions on the sheet itself.