Advanced learning environments such as intelligent tutoring systems for algebra, logic,
programming, physics, etc. let a student practice with stepwise exercises, and support a …

Strategies specify how a wide range of exercises can be solved incrementally, such as
bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating with …

Abstract The First International Congress on Tools for Teaching Logic took place in 2000
and the second such congress took place in 2006. The third one takes place in 2011. In the …

This article describes an experiment with LogEx, an e‐learning environment that supports
students in learning how to prove the equivalence between two logical formulae, using …

Students learn propositional logic in programs such as mathematics, philosophy, computer
science, law, etc. An important topic in courses in propositional logic is rewriting …

In this paper, we present an intelligent tutoring system developed to assist students in
learning logic. The system helps students to learn how to construct equivalent formulas in …

LogEx is a learning environment that supports students in rewriting propositional logical
formulae, using standard equivalences. We organized a pilot study to prepare a large scale …

In this paper we describe a teaching tool for proving equivalences between propositional
logic formulae, using rewrite rules such as De Morgan's laws and double negation. This tool …

Learning to program is challenging. A first course in programming is often a major stumbling
block (Proulx, 2000), and the results of such a course are often disappointing (McCracken et …

Students have difficulty recognizing that the kind of reasoning given above is incorrect
(Øhrstrøm et al., 2013). Logic courses teach students how to formalize such arguments, and …