Proceedings of 2012 2nd International Conference on Future Computers in Education (ICFCE 2012) - FOLST: A Didactic Tool to Support First Order Logic Semantics Learning

Congreso

Resumen *

Abstract. Visualization and interactivity allow students to play an active role in the learning process, experimenting with the concepts to receive feedback. Introductory logic courses exercises are usually performed with a paper-pencil approach. Students often have difficulties in handling formalisms and getting familiar with them. For this reason, we developed a tool to support students? learning process in First Order Logic semantics. This paper describes FOLST, an educational, visual, and interactive tool to experiment with First Order Logic formulas to determine their truth value by allowing the user todefine his/her own interpretations working on two frames provided by the tool. The tool is easy and intuitive to use, and helps students improve their understanding of logic by experimenting its scopes and limitations under a daily-life situation. FOLST is implemented in C++, and it has been released under a free software license. Información suministrada por el agente en SIGEVA