Course Fundamentele informatica 1: Logica (IN1305-A)