Multiple choice parameterized exercises in Logic

Abstract

The first contact of students with logic is not straightforward since they are not familiar with its notation and with logical thinking. For this discipline to become more attractive and in order to avoid this intimidating first contact, interactive didactic tools can be useful. In the University of Aveiro there exists a group of teachers developing an interactive platform that provides students some guidance in their independent study in several courses. We propose and describe the use of this platform as a complement for teaching the logic course of Mathematics Department in this University.