Access Restriction

Author Mauco, María Virginia ♦ Ferrante, Enzo ♦ Felice, Laura
Source CiteSeerX
Content type Text
File Format PDF
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword First Order Logic Semantics ♦ Educational Software ♦ Introductory Logic Course ♦ First Order Logic Formula ♦ Tool Becomes ♦ Semantic Analysis ♦ Several Difficulty ♦ Computer Science Curriculum ♦ Educational Tool ♦ Truth Value ♦ Free Software License ♦ Interactive One ♦ Basic Course ♦ Teaching-learning Process ♦ Didactic Tool
Abstract Basic courses on Logic are common in most Computer Science curricula. Students often have difficulties in handling formalisms and getting familiar with them. Educational software helps to motivate and improve teaching-learning processes. Therefore, incorporating this kind of tools becomes important because they contribute to gain practice in dealing with formalisms. In particular, semantic analysis of First Order Logic formulas is an issue that presents several difficulties. For this reason, we developed two educational tools, FOLST and LogicChess, to support teaching/learning process in First Order Logic semantics. Both tools are didactic, visual, and interactive ones. They allow users to experiment with First Order Logic formulas to determine their truth value. They are implemented in C++, and they have been released under a free software license. In this paper, we present FOLST and LogicChess, and we propose to design a framework based on the development and use of these two didactic tools.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study