Paper Info
Title
Heráclito: Learning Environment to Teach Logic.
Abstract
The present paper aims to present the Heraclito environment. The Heraclito is an Intelligent Tutoring System focused on teaching Logic and assists students in solving exercises that ask them to calculate the logical value of a formula, going through truth table exercises, and even doing argument-proof exercises through rules of Natural Deduction. In order to do so, it provides the Electronic Logic Exercise Notebook - LOGOS (Free to use at http://obaa.unisinos.br/heraclito/.) [1] (with two different test editors) that allows creating and editing formulas, truth tables and proofs of Natural Deduction to Propositional Logic.
Year
DOI
Venue
2017
10.1007/978-3-319-59930-4_28
ADVANCES IN PRACTICAL APPLICATIONS OF CYBER-PHYSICAL MULTI-AGENT SYSTEMS: THE PAAMS COLLECTION, PAAMS 2017
Field
DocType
Volume
Programming language,Intelligent tutoring system,Natural deduction,Computer science,Truth value,Logos Bible Software,Propositional calculus,Truth table,Mathematical proof,Learning environment
Conference
10349
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
0
5
Name
Order
Citations
PageRank
Fabiane Flores Penteado Galafassi100.34
Cristiano Galafassi200.68
João Carlos Gluz3135.84
Rosa Maria Vicari423842.39
Rafael Koch Peres510.72