The Proceedings of the Information Systems Education Conference 2009: §4142 Home Papers/Indices prev (§4112) Next (§4143)

Sun, Nov 8, 8:00 - 8:25, Crystal 4 Paper (refereed)

Recommended Citation: Mauco, M a V and E Ferrante. Clausula: A Didactic Tool to Teach First Order Logic. In The Proceedings of the Information Systems Education Conference 2009, v 26 (Washington DC): §4142. ISSN: 1542-7382.

Clausula: A Didactic Tool to Teach First Order Logic

Refereed

9 pages

María Virginia Mauco    [a1] [a2]
Facultad Cs. Exactas
Universidad Nacional del Centro de la Provincia de Buenos Aires    [u1] [u2]
Tandil, Buenos Aires, Argentina    [c1] [c2]

Enzo Ferrante    [a1] [a2]
Facultad Cs. Exactas
Universidad Nacional del Centro de la Provincia de Buenos Aires    [u1] [u2]
Tandil, Buenos Aires, Argentina    [c1] [c2]

Immediate feedback and interactivity are crucial in any learning process. Introductory logic courses exercises are usually performed with paper and pencil approach. Students often have difficulties in handling formalisms and getting familiar with them. For this reason, we developed Clausula, a tool to support students’ learning process in some First Order Logic contents. This paper describes Clausula, an educational, visual, and interactive tool to experiment with arbitrary sets of First Order Logic clauses in order to determine their (un)satisfiability. The tool is easy and intuitive to use, and help students to improve their understanding of logic concepts. Clausula is implemented in C++, and it has been released under a free software license.

Keywords: Software tool, Clauses Satisfiability, Resolution Method, First Order Logic

Read this refereed paper in Adobe Portable Document (PDF) format. (9 pages, 655 K bytes)
Preview this refereed paper in Plain Text (TXT) format. (23 K bytes)

CDpic
Comments and corrections to
webmaster@isedj.org