Enseñanza de lógica en la universidad: experiencias en el uso de herramientas informáticas

Referencias

Allen, C. y Hand, M. (2000). Logic Primer. MIT Press. Barker-Plummer, D., Barwise, J. y Etchemendy, J. (1999). Tarski’s World. CSLI Publications. Bostock, D. (1997). Intermediate Logic. Oxford University Press. Van Dalen, D. (1994). Logic and structure. Springer-Verlag. Pelletier, F.J. (2000). A History of Natural Deduction and Elementary Logic Textbooks. En J. Woods y B. Brown (Eds.), Logical Consequence: Rival Approaches, Vol. 1, Capítulo 1, pp. 105-138. Oxford: Hermes Science Pubs. Andrews, P. B., Brown, C. E., Pfenning, F., Bishop, M., Issar, S. y Xi, H. (2004). Etps: A system to help students write formal proofs. Journal of Automated Reasoning, 32, 75-92. D’Agostino, M. y Endriss, U. (1998). WinKE: A Proof Assistant for Teaching Logic. Proceedings of the First International Workshop on Labelled Deduction. Hendriks, M., Kaliszyk, C., van Raamsdonk, F. y Wiedijk, F. (2010). Teaching logic using a state-of-the-art proof assistant. Acta Didactica Napocensia, 3(2), 35-48. Machín, B. y Sierra, L. (2011). Yoda: a simple tool for natural deduction. Third International Congress on Tools for Teaching Logic. logicae.usal.es/TICTTL/actas/MachinSierra.pdf Sakowicz, J. y Chrzaszcz, J. (2007). Papuq: a Coq assistant. Proceedings of PATE’07, 79-96. Sierra, L. (2008). Enseñando deducción natural con Coq. Proceedings of CIESC’08, XVI Congreso Iberoamericano de Educación Superior en Computación. ACM-IEEE. Computer Science Curriculum 2008: An Interim Revision of CS 2001. www.acm.org/education/curricula/ComputerScience2008.pdf Consultado 30/06/13 CSS. Cascading Style Sheet Snapshot 2010. www.w3.org/TR/CSS/ Consultado 30/06/13 Raphaël: JavaScript Library. raphaeljs.com/ Consultado 30/06/13 Jape (2012). users.comlab.ox.ac.uk/bernard.sufrin/jape.html Consultado 29/06/13 JavaScript. developer.mozilla.org/en-US/docs/Web/JavaScript Consultado 30/06/13 jQuery. jquery.com/ Consultado 30/06/13