Conferencia
Mauco, M.V.; Ferrante, E. "Clausula: A didactic tool to teach first order logic" (2009) 26th Information Systems Education Conference, ISECON 2009. 26
Estamos trabajando para incorporar este artículo al repositorio
Consulte la política de Acceso Abierto del editor
Abstract:
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. © 2009 EDSIG.
Registro:
| Documento: | Conferencia |
| Título: | Clausula: A didactic tool to teach first order logic |
| Autor: | Mauco, M.V.; Ferrante, E. |
| Ciudad: | Washington, DC |
| Filiación: | Facultad Cs. Exactas, Universidad Nacional del Centro de la Pcia, Buenos Aires, Argentina |
| Palabras clave: | Clauses satisfiability; First order logic; Resolution method; Software tool; Arbitrary sets; Didactic tools; First order logic; Free software; Interactive tool; Interactivity; Learning process; Logic course; Resolution methods; Satisfiability; Computer aided software engineering; Computer software; Formal logic; Information systems; Learning systems; Teaching; Students |
| Año: | 2009 |
| Volumen: | 26 |
| Título revista: | 26th Information Systems Education Conference, ISECON 2009 |
| Título revista abreviado: | Proc. Inf. Syst. Educ. Conf., ISECON |
| ISSN: | 21671435 |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_21671435_v26_n_p_Mauco |
Referencias:
- Arenas, A., (1996) Lógica Formal Para Informáticos, , Formal Logic for Informatics, Editorial Diaz de Santos
- Ben-Ari, M., (2001) Mathematical Logic for Computer Science, , Prentice Hall, Series in Computer Science
- Burke, E., Foxley, E., (1996) Logic and its Applications, , Prentice Hall, Series in Computer Science
- Cuena, J., (1985) Lógica Informática, , Informatic Logic, Alianza Editorial
- Donnelly, C., Stallman, R., (1995) Bison - Version 1.25: The YACCcompatible Parser Generator, , http://dinosaur.compilertools.net/bison/index.html, Accessed May 2009
- Ferrante, E., (2009) Clausula: Resolución en Lógica de Primer Orden, , http://clausula.sourceforge.net/
- (1991) GNU General Public License, , http://www.gnu.org/licenses/gpl-2.0.html, version 2, Accessed August 2009
- (2009) HCI Bibliography: Human - Computer Interaction Resources, , http://hcibib.org/, Accessed October 2009
- Kelly, J., (1997) The Essence of Logic, , Prentice Hall
- Lewis, H., Papadimitriou, C., (1998) Elements of the Theory of Computation, , Prentice Hall, Second Edition
- Paxson, V., (1995) Flex - Version 2.5: A Fast Scanner Generator, , http://dinosaur.compilertools.net/flex/flex.ps, Accessed May 2009
- Qt Reference Documentation, , http://doc.trolltech.com/4.5/, Open Source Edition), (Accessed May 2009
- (1994) STL: Standard Template Library Programmer's Guide, , http://www.sgi.com/tech/stl/, Accessed May 2009
- Stallman, R., (2002) Free Software Free Society, , http://www.gnu.org/philosophy/fsfs/rms-essays.pdf, selected essays of Richard M. Stallman. (Accessed May 2009
Citas:
---------- APA ----------
Mauco, M.V. & Ferrante, E. (2009) . Clausula: A didactic tool to teach first order logic. 26th Information Systems Education Conference, ISECON 2009, 26.Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_21671435_v26_n_p_Mauco [ ]
---------- CHICAGO ----------
Mauco, M.V., Ferrante, E. "Clausula: A didactic tool to teach first order logic" . 26th Information Systems Education Conference, ISECON 2009 26 (2009).Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_21671435_v26_n_p_Mauco [ ]
---------- MLA ----------
Mauco, M.V., Ferrante, E. "Clausula: A didactic tool to teach first order logic" . 26th Information Systems Education Conference, ISECON 2009, vol. 26, 2009.Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_21671435_v26_n_p_Mauco [ ]
---------- VANCOUVER ----------
Mauco, M.V., Ferrante, E. Clausula: A didactic tool to teach first order logic. Proc. Inf. Syst. Educ. Conf., ISECON. 2009;26.Available from: https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_21671435_v26_n_p_Mauco [ ]
