Tool Development to Support Learning, Immediate Feedback, and Continuous Assessment in Logic

Abstract

Learning logic in engineering has similar difficulties like in mathematics: a very low academic performance and a high student dropout. In this kind of subjects interactive training activities with immediate feedback are fundamental. In a traditional face-to-face logic course the face-to-face interaction with the instructor usually provides it. In an e-learning or web-based paradigm the role of the instructor should be helped by an intelligent tutoring system. In this paper we present the design and development process of learning tools for a logic course. This tool follows a student-centred design approach in order to provide the accurate tool for a successful learning experience. A general discussion of learning tools for logics is also presented; showing that this kind of topics has concrete and specific needs in online learning.