- [x] VL1: Einführung, Logik
	- [x] VL2: Beweise
	- [x] Übungsblatt 1 ✅ 2026-07-16

- [x] VL3: Mengen
	- [x] Übungsblatt 2
	- [ ] Übungsblatt 3
- [ ] VL4
- [ ]