论文信息 - TryLogic tutorial: an approach to Learning Logic by proving and refuting

TryLogic tutorial: an approach to Learning Logic by proving and refuting

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 solve logical conjectures either by proofs or refutations. The paper also describes the integration of our infrastructure with the Virtual Learning Environment \texttt{Moodle} through the IMS Learning Tools Interoperability specification, and evaluates the tool we have developed.

João Marcos | Patrick Terrematte

[1] Carlos Alario-Hoyos,et al. Comparison of the main alternatives to the integration of external tools in different platforms. , 2010 .

[2] Cezary Kaliszyk,et al. Teaching logic using a state-of-the-art proof assistant , 2007 .

[3] Marcello D'Agostino,et al. Investigations into the complexity of some propositional calculi , 1990 .

[4] João Marcos,et al. Logicamente: A Virtual Learning Environment for Logic Based on Learning Objects , 2011, TICTTL.

[5] John Sweller,et al. Cognitive Load Theory , 2020, Encyclopedia of Education and Information Technologies.

[6] João Marcos. Fail better: What formalized math can teach us about learning , 2015, ArXiv.