1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.LO2026
A method for the automated generation of proof exercises with comparable levels of proving complexity
João Mendes, João Marcos, Patrick Terrematte
The automated generation of exercises may substantially reduce the time educators devote to manual exercise design. A major obstacle to the integration of such automation into teac…
cs.CY2015★ 1 cited
TryLogic tutorial: an approach to Learning Logic by proving and refuting
Patrick Terrematte, João Marcos
Aiming to offer a framework for blended learning to the teaching of proof theory, the present paper describes an interactive tutorial, called \textsc{TryLogic}, teaching how to sol…
cs.CY2015★ 1 cited
ARG: Virtual Tool to Teaching Argumentation Theory
Nailton Silva, Patrick Terrematte, José Moura
Researchers look for new virtual instruments that can improve and maximize traditional forms of teaching and learning. In this paper, we present the ARG system, a virtual tool deve…