10.05.2013 Views

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

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!