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