7 citations · 18 across the 9 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.CY2015
Fail better: What formalized math can teach us about learning
João Marcos
Real-life conjectures do not come with instructions saying whether they they should be proven or, instead, refuted. Yet, as we now know, in either case the final argument produced…
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…