ADN : una herramienta para la enseñanza de la Deducción Natural
ADN : una herramienta para la enseñanza de la Deducción Natural
ADN : una herramienta para la enseñanza de la Deducción Natural
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
4. Conclusiones<br />
Se ha presentado <strong>una</strong> <strong>herramienta</strong> didáctica diseñada ad hoc <strong>para</strong> <strong>la</strong> <strong>enseñanza</strong> <strong>de</strong> <strong>la</strong><br />
técnica <strong>de</strong> <strong>de</strong>ducción natural. Su diseño se ha basado en <strong>la</strong> observación y el análisis <strong>de</strong><br />
<strong>la</strong>s dificulta<strong>de</strong>s a <strong>la</strong>s que se enfrentaban los estudiantes <strong>para</strong> apren<strong>de</strong>r y aplicar dicha<br />
técnica, así como <strong>de</strong> los errores habitualmente cometidos. Dicha <strong>herramienta</strong> se ha<br />
<strong>de</strong>sarrol<strong>la</strong>do aprovechando <strong>la</strong>s nuevas tecnologías (efectos multimedia, ejecución a<br />
través <strong>de</strong> <strong>la</strong> red, tecnología Java y algoritmos robustos). Se ha cuidado mucho tanto el<br />
aspecto estético como <strong>la</strong> facilidad <strong>de</strong> uso.<br />
Bibliografía<br />
[Barwise2000] J. Barwise y J. Etchemendy. Language, Proof and Logic. CSLI<br />
Publications / Seven Bridges Press, 2000.<br />
[Garrido1995] Manuel Garrido, Lógica simbólica. Ed. Tecnos, 3ªedic., 1995<br />
[Gentzen1934] Gerhard Gentzen, Untersuchungen über das logische Schliessen<br />
(Investigaciones sobre <strong>la</strong> <strong>de</strong>ducción lógica), Mathematische Zeitschrift, vol. 39,<br />
1934.<br />
[Goldson1993] D. Goldson, S. Reeves and R. Bornat. A Review of Several Programs for<br />
the Teaching of Logic. The Computer Journal, vol. 36, nº 4, 1993.<br />
[Llorens1996] F. Llorens y Mª J. Castel. Lógica <strong>de</strong> Primer Or<strong>de</strong>n en <strong>la</strong>s Ingenierías<br />
Informáticas. II Jornadas Nacionales <strong>de</strong> Innovación en <strong>la</strong>s Enseñanzas <strong>de</strong> <strong>la</strong>s<br />
Ingenierías, I.C.E. U.P.M., 1996.<br />
[Llorens2000] F. Llorens y S. Mira. <strong>ADN</strong> (“<strong>Natural</strong> Deduction Assistant”). Fist<br />
International Congress on TOOLS FOR TEACHING LOGIC. Universidad <strong>de</strong><br />
Sa<strong>la</strong>manca, Junio 2000<br />
[Reeves1990] S. Reeves y M. C<strong>la</strong>rke, Logic for Computer Science. Ed. Addison-<br />
Wesley, 1990<br />
[Socher-Ambrosius1997] R. Socher-Ambrosius y P. Johann, Deduction Systems. Ed.<br />
Springer-Ver<strong>la</strong>g, 1997<br />
[TTL2000] Fist International Congress on TOOLS FOR TEACHING LOGIC.<br />
Universidad <strong>de</strong> Sa<strong>la</strong>manca, Junio 2000