Herramienta de Apoyo para el Aprendizaje a Distancia de la Lógica en la Ingeniería Informática.

• Autores: María Antonia Huertas Sánchez , Enric Mor Pera , Ana Elena Guerrero
• Localización: RED: revista de educación a distancia, ISSN-e 1578-7680, Nº. 24, 2010
• Idioma: español
• Títulos paralelos:
  • Support Tool for E-learning in Logic in Computer ScienceEngineering
• Enlaces
  • Texto completo
• Dialnet Métricas: 1 Cita
• Resumen
  • español

    Las asignaturas de lógica en ingeniería informática presentan características y dificultades similares a las de otras materias de carácter matemático: un rendimiento académico muy bajo y un alto de abandono. En disciplinas instrumentales como es el caso de lógica, es fundamental un proceso de enseñanza-aprendizaje interactivo y el feedback inmediato representa un elemento clave del éxito académico. En un curso de lógica presencial y tradicional la interacción con el profesor por lo general proporciona el feedback y apoyo necesario. En cambio, en un paradigma de e-learning basado en la web, esta característica del profesor presencial puede ser proporcionada por un sistema de tipo de tutor inteligente. En este artículo se presenta el diseño, desarrollo y puesta en marcha de una herramienta de apoyo al aprendizaje para un curso no presencial de lógica en la titulación de ingeniería informática. Esta herramienta sigue la perspectiva del diseño centrado en el estudiante con el fin de proporcionar los elementos precisos para una experiencia de aprendizaje exitoso. Se presenta también una prueba piloto con evaluación de resultados y una discusión general sobre la aplicación de este tipo de herramientas al aprendizaje a distancia y al autoaprendizaje.

  • English

    Logic as a subject in computer engineering has characteristics and difficulties similar to those of other mathematics related subjects: very low academic achievement and high dropout. In instrumental disciplines such as logic, an interactive teaching-learning process is fundamental, and the immediate feedback is a key element of academic success. In a traditional face to face logic course the necessary feedback and support is usually provided by the classroom interaction between students and teacher. In contrast, in an e-learning paradigm based on the web, this feature can be provided through an intelligent tutor type tool. This article presents the design, development and implementation of a learning support tool for a non-face to face course of logic in the computer engineering program. This tool follows the perspective of student-centered design to provide the elements necessary for a successful learning experience. It also presents an pilot test with the evaluation of its results and a general discussion on the implementation of such tools for distance learning and self-learning.

• Referencias bibliográficas
  • Allen, C., Hand, M. (1992). Logic Primer, the MIT Press.
  • Barwise, J. and Etchemendy, J. (1994). Hyperproof. CSLI.
  • Barwise, J. and Etchemendy, J. (2007). Tarski’s World CSLI.
  • Broda, K., Zappacosta, S. (2000). New Pandora. In First International Congress on Tools for Teaching Logic.
  • Endriss, U. (2000). The Interactive Learning Environment WinKE for Teaching Deductive Reasoning. In First International Congress on Tools...
  • Hatzilygeroudis, I., Prentzas, J. (2004). Knowledge representation requirements for intelligent tutoring systems. In 7th Internationa Intelligent...
  • Humet, J. (2001). LSD, una herramienta didáctica para el aprendizaje de la lógica. In JENUI 2001
  • Huertas, A. (2007). Teaching and Learning Logic in a Virtual Learning Environment. In Logic Journal of IGPL 15(4):321-331
  • Kenny, C., Pahl, C. ( 2009). Intelligent and adaptive tutoring for active learning and training environments. Interactive Learning Environments....
  • Kinshuk, Patel, A., Scott, B. (2001). Intelligent tutoring: From SAKAI to Byzantium. Kybernetes, 30(5/6), 807-818.
  • Layman, C. S. (1999). The Power of Logic, Seattle Pacific University.
  • Ritter, S., Blessing, S., Wheeler, L. (2003). Authoring tools for component-based learning environments. In Murray, Ainsworth and Blessing...
  • Melis, E., Ullrich, C. (2003). Local and global feedback. In Proceedings of AIED2003, 11th International Conference in Artificial Intelligence...
  • Moreno, A., Budesca, N. (2000). Mathematical Logic Tutor Propositional Calculus. In First International Congress on Tools for Teaching Logic,...
  • Nardi, B., (ed.). (1997). Educational context and conciousness: Activity theory and human-computer interaction. Cambrige, MA: MIT Press.
  • Sharp, H., Rogers, Y., Preece, J. (2007). Interaction design: beyond human-computer interaction. John Wiley & Sons Ltd.