Herramienta didáctica con Python para el aprendizaje de la lógica proposicional: LogicalPy
En este trabajo se muestra una herramienta que permite establecer una relación entre la lógica proposicional y la lógica de programación mediante un software elaborado en Python. El usuario puede solucionar de manera didáctica ejercicios relacionados con las reglas de inferencia y por lo tanto se logra facilitar la comprensión de algunos conceptos de la lógica proposicional. El programa LogicCoach es un software basado en el libro “A concise introduction to logic” y es el punto de partida para la elaboración el software (LogicalPy) como herramienta didáctica.
Hurley, P. J. A concise introduction to logic, Cengage Learning, 2006
J. C. Gutiérrez. “Introducción a los Conceptos de la Lógica Proposicional desde la Experiencia”. M.S tesis, universidad Nacional, Medellín, 2018.
S. A. Alarcón y H. J. Herrera, " La lógica proposicional y su aplicación en contexto", en tercer encuentro internacional sobre la enseñanza de las ciencias exactas y naturales, 2017, pp. 186-196.
C. Gaviria, C. Márquez and I. Buitrago “Matemáticas Discretas”, Editorial Bonaventuriana, 2015.
F. B. Aguilo, “el concepto de la lógica a lo largo de la historia de la filosofía”. Revista de educación, vol., p 23, oct. 1982
V. Muñoz. “consideraciones sobre la lógica y su historia”. El Basílico, vol, No., p.86, abril. 1979
J. Ferreirós. “la lógica matemática: una disciplina en busca del encuadre”. THEORIAS 69(2010), p.279-299, abril. 2010.
S. A. Russell. “tránsitos conceptuales en la lógica de Bertrand Russell de 1900 a 1927”. Bogotá. (tesis de maestría). Pub. 2008.
I. Stewart. “Mentes maravillosas”, Editorial planeta, 2018.
L. Joyanes, (2008) “Fundamentos de programación”, Editorial McGRAW-HILL,
P. Deitel and H. Deitel, “Java como programar”, Novena edición. Pearson, 2012.
G. Brousseau, (2008). “Introducción al estudio de la teoría de las situaciones didácticas”. Libros del Zorzal.
J. A. Castorina y G. Palau, (1981). “Introducción a la lógica operatoria de Piage”, Paidós, Barcelona.
R. Duval, (1999). “Argumentar, demostrar, explicar: ¿continuidad o ruptura cognitiva?”, Pitágora, Bologna, Grupo Editorial Iberoamerica.
Peirce, Ch. S., (1988). Escritos lógicos. Introducción, selección y traducción de Pilar Castrillo Criado. Madrid, Alianza.
Esta revista provee acceso libre inmediato a su contenido bajo el principio de hacer disponible gratuitamente las investigaciones al publico y apoyando un mayor intercambio de conocimiento global.
http://creativecommons.org/licenses/by-nc-sa/4.0/
El procesamiento y publicación en Ingenierías USBMed no tiene costo.
Ingenierías USBMed proporciona un acceso abierto inmediato a su contenido, basado en el principio de ofrecer al público un acceso libre a las investigaciones ayudando a un mayor intercambio global de conocimiento. Por tanto la Revista se acoge a la Licencia Creative Commons 4.0
Atribuciones Reconocimiento – NoComercial – Compartir Igual (by-nc-sa): Esta licencia permite a otros distribuir, remezclar, retocar, y crear a partir de tu obra de modo no comercial, siempre y cuando te den crédito y licencien sus nuevas creaciones bajo las mismas condiciones.
La totalidad de los contenidos de Ingenierías USBMed, e-ISSN 2027-5846 están registrados y protegidos por las leyes de protección de la propiedad intelectual. Los derechos de propiedad intelectual de cada artículo son cedidos por sus autores a Ingenierías USBMed. Al someter el manuscrito, y únicamente en caso de ser aceptado para publicación, los autores aceptan que el copyright de su artículo queda transferido a Ingenierías USBMed. No obstante, se consideran todas las solicitudes de autorización por parte de los autores con fines de reproducción de sus artículos. Igualmente, Ingenierías USBMed otorga permiso de acceso para usuarios y bibliotecas. Ingenierías USBMed apoya el libre acceso a la literatura científica dicho copyright pide el respeto de los derechos morales, principalmente el reconocimiento de su autoría y el respeto a la integridad de la obra, evitando dentro de lo posible alteraciones, traducciones o falsificaciones. Al ser Ingenierías USBMed una publicación electrónica de carácter científico que publica trabajos de investigación científica y tecnológica, artículos de reflexión o artículos de revisión, el objetivo prioritario tanto de los los autores como de Ingenierías USBMed es lograr la mayor difusión de los artículos, para lo cual los autores ceden a Ingenierías USBMed sus derechos, únicamente a cambio del reconocimiento intelectual, moral y laboral, al considerarse que es una materia no de ocio o entretenimiento, sino de fuerte interés social, por su carácter científico.
Los autores deben actuar de forma ética en los procesos requeridos para la publicación de sus artículos en Ingenierías USBMed. Para esto, los autores y miembros de la revista se deben acoger a la politica de Ética editorial de la Editorial Bonaventuriana, disponible en el siguiente link: Manual editorial
El contenido de los artículos publicados por Ingenierías USBMed es de exclusiva responsabilidad del (os) autor(es) y no necesariamente refleja el pensamiento del comité editorial y científico de la revista Ingenierías USBMed. Los textos pueden reproducirse total o parcialmente citando la fuente.