Logische methoden voor KI I (2025/2026: Periode 1)