NotesFAQContact Us
Search Tips
Peer reviewed Peer reviewed
PDF on ERIC Download full text
ERIC Number: EJ1140774
Record Type: Journal
Publication Date: 2014-Nov
Pages: 9
Abstractor: As Provided
ISSN: EISSN-1545-679X
Educational Software for First Order Logic Semantics in Introductory Logic Courses
Mauco, María Virginia; Ferrante, Enzo; Felice, Laura
Information Systems Education Journal, v12 n6 p15-23 Nov 2014
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 the teaching-learning processes. Therefore, incorporating these kinds of tools becomes important, because they contribute to gaining 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 the teaching/learning process in first order logic semantics. Both tools are didactic, visual, and interactive. 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.
Information Systems and Computing Academic Professionals. Box 488, Wrightsville Beach, NC 28480. e-mail:; Web site:
Publication Type: Journal Articles; Reports - Descriptive
Education Level: Higher Education; Postsecondary Education
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A
Grant or Contract Numbers: N/A