Aplicación de WinKE en Deducciones por Métodos Semánticos en Lógica Proposicional

Autores/as

  • Feliciano Morales Angelino Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro
  • René Edmundo Cuevas Valencia Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro
  • Gustavo Adolfo Alonso Silverio Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro
  • Antonio Alarcón Paredes Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro
  • Arnulfo Catalán Villegas Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro

DOI:

https://doi.org/10.30973/progmat/2019.11.3/4

Palabras clave:

Software educativo, Estructura lógica, WinKE, tablas semánticas

Resumen

En el presente artículo se describe el análisis sobre software educativo que permita demostrar estructuras lógicas mediante métodos semánticos. Una vez realizado el análisis se determinó utilizar el software educativo denominado WinKE para implementar una estrategia didáctica sobre la demostración estructuras lógicas mediante el método de Tablas Semánticas para Lógica Proposicional correspondiente a la Unidad de Aprendizaje de Lógica Informática del Plan de Estudios del Programa Educativo de Ingeniero en Computación. Es evidente que la aplicación de este software ha permitido al estudiante fortalecer sus habilidades para identificar las reglas y el orden en que deban utilizarse en la demostración de las estructuras lógicas de manera eficiente.

Biografía del autor/a

Feliciano Morales Angelino, Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro

Tiene estudios de LICENCIADO EN MATEMÁTICA EDUCATIVA Y MAESTRO EN CIENCIAS ÁREA MATEMATICA ECUCATIVA, profesor Investigador de Tiempo Completo en la Facultad de Ingeniería dependiente de la Universidad Autónoma de Guerrero, Perfil PROMEP desde 2006. Integrante del Cuerpo Académico Desarrollo Tecnológico Aplicado (UAGRO-CA-178), adscrito a la U.A.G., ha participado eventos nacionales e internacionales como SOMECE, ACADEMIA JOURNALS, FORO DE ESTUDIOS SOBRE GUERRERO, 4º FORO INTERNACIONAL DE MULTICULTURALIDAD, CICOM, 3er ENCUENTRO REGIONAL DE TUTORIAS DE LA REGIÒN CENTRO SUR, III EVENTO INTERNACIONAL DE LA MATEMÀTICA , LA FÌSICA Y LA INFORMÀTICA EN EL SIGLO XXI, CONGRESO IBEROAMERICANO DE APRENDIZAJE MEDIADO POR TECNOLOGÍA, CONGRESO INTERDISCIPLINARIO DE ENERGÍAS, publicado en revistas electrónicas

René Edmundo Cuevas Valencia, Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro

Es profesor investigador de tiempo completo en la Facultad de Ingeniería de la Universidad Autónoma de Guerrero. Obtuvo el grado de doctor en Enseñanza Superior (2013) por el Centro de Investigación y Docencia en Humanidades del Estado de Morelos (CIDHEM); Cuenta con un PostDoctorado en Humanidades (2015) con Eje de Investigación: Educación y Tecnología por la Universidad del Zulia en Venezuela; con Maestría (2005) y Licenciatura en Computación (1999) por la Facultad de Ingeniería de la UAGro. Actualmente su línea de investigación es sobre Aplicaciones e Impacto de las TIC en la Educación. Miembro del Sistema Estatal de Investigadores en Guerrero desde 2010 a la fecha, Miembro del Sistema Nacional de Investigadores por el periodo 2015-2017.

Gustavo Adolfo Alonso Silverio, Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro

Profesor investigador de tiempo completo en la Facultad de Ingeniería de la Universidad Autónoma de Guerrero. Obtuvo el grado de doctor en ciencias por parte del Centro de Investigación y Estudios Avanzados del Instituto Politécnico Nacional (CINVESTAV-IPN) en doble titulación con la Universidad de Perpignan Via Domitia, Francia. Con maestría en ciencias con especialidad en Ingeniería Eléctrica por parte del CINVESTAV – IPN. Actualmente su línea de investigación es sobre dispositivos dedicados e inteligencia artificial para el desarrollo de instrumentación inteligente. Miembro del sistema Nacional de Investigadores nivel 1.

Antonio Alarcón Paredes, Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro

Profesor investigador en la Facultad de Ingeniería de la Universidad Autónoma de Guerrero, en México. Obtuvo el título de Ingeniero en Sistemas Computacionales, en el año de 2007; en 2009 recibió el grado de Maestro en Ciencias (M. en C.) en Ingeniería de Cómputo por el Centro de Investigación en Computación, México, del Instituto Politécnico Nacional, y su Doctorado en Ciencias de la Computación del mismo Centro en el Instituto Politécnico Nacional, en 2013. Ha realizado diversas estancias de investigación, entre las cuales destaca una estancia en la Universidad Tecnológica de Dinamarca, en Copenhague. Sus principales áreas de interés en la investigación incluyen aprendizaje automático, reconocimiento de patrones, procesamiento y análisis de imágenes, así como cómputo inteligente.

Arnulfo Catalán Villegas, Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro

Es profesor investigador en la Facultad de Ingeniería de la Universidad Autónoma de Guerrero, en México. Obtuvo el título de Ingeniero Civil por la misma facultad en el año de 1990; en 2000 recibió el grado de Maestro en Ciencias Computacionales (M. en C. C.) por el Instituto Tecnológico de Toluca, México, y su Doctorado en Ciencias de la Educación por la Escuela Superior “Justo Sierra”, en 2007. En 2009-2010 realizó un diplomado en Competencias Docentes, por la Asociación Nacional de Universidades e Instituciones de Educación Superior (ANUIES) a través de la Universidad Autónoma de Guerrero, Chilpancingo, Guerrero, México.

Citas

Cuevas, R., Feliciano, A., Miranda, A., & Catalán, A. (2015). Corrientes teóricas sobre aprendizaje combinado en la educación. Revista Iberoamericana de Ciencias, 2(1), 2334-2501.

Conole, G. (2015). Los MOOCs como tecnologías disruptivas: estrategias para mejorar la experiencia de aprendizaje y la calidad de los MOOCs. Campus virtuales, 2(2), 16- 28.

Cuevas Valencia, R. E., & Feliciano Morales, A. (2016). Grupos de trabajo administrados por redes sociales como apoyo a la práctica docente. RIDE. Revista Iberoamericana para la Investigación y el Desarrollo Educativo, 7(13), 183- 196.

Farrán Martín, J. I., Núñez Jiménez, C. A., & Sanz Gil, J. (2016). Docencia teórico-práctica y tutorización presenciales a distancia con ayuda de las TIC. VI Jornada de Innovación Docente de La Universidad de Valladolid

Laffita-Cuza, M., & RodríguezCarbonell, V. (2017). Las competencias comunicativas matemáticas y el uso de los softwares educativos en las clases de Matemática. Maestro y Sociedad, 14(2), 249-262.

Castro, S., & de Castro, B. G. (2017). Los estilos de aprendizaje en la enseñanza y el aprendizaje: una propuesta para su implementación. REVISTAS DE INVESTIGACIÓN, 9(58).

M. D’Agostino and M. Mondadori. (1994). The taming of the cut. Classical refutations with analytic cut. Journal of Logic and Computation, 4(3):285–319. https://doi.org/10.1093/logcom/4.3.285

García García, J. I., García Sánchez, P. A., & Urbano Blanco, J. M. (2016). Fundamentos lógicos de la programación.

Manzo, María. Tableaux Lógica Proposicional. (2009) Recuperado 04/03/2018. Universidad de Salamanca. http://ocw.usal.es/eduCommons/ensenanzas-tecnicas/logicamatematica/contenidos/1_PRIMERA_PARTE/ LP_Beamer/BeamerTableauxProposicional.pdf

Valencia, R. E. C., Morales, A. F., & Morales, S. F. (2013). Diseño de un sistema para generar tablas semánticas. Revista vínculos, 10(2), 93-104. https://doi.org/10.14483/2322939X.6454

Salguero Lamillar, F. J., & Soler Toscano, F. (2010). Resolución abductiva de anáforas pronominales. Estudios de Lógica, Lenguaje y Epistemología.

Descargas

Publicado

31-10-2019

Cómo citar

Morales Angelino, F., Cuevas Valencia, R. E., Alonso Silverio, G. A., Alarcón Paredes, A., & Catalán Villegas, A. (2019). Aplicación de WinKE en Deducciones por Métodos Semánticos en Lógica Proposicional. Programación matemática Y Software, 11(3), 45–56. https://doi.org/10.30973/progmat/2019.11.3/4

Número

Vol. 11 Núm. 3 (2019): Octubre de 2019

Sección

Artículos

Licencia

Derechos de autor 2019 Programación Matemática y Software

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.

Usted es libre de:

Compartir — compartir y redistribuir el material publicado en cualquier medio o formato.
Adaptar — combinar, transformar y construir sobre el material para cualquier propósito, incluso comercialmente.

Bajo las siguientes condiciones:

Atribución — Debe otorgar el crédito correspondiente, proporcionar un enlace a la licencia e indicar si se realizaron cambios. Puede hacerlo de cualquier manera razonable, pero de ninguna manera que sugiera que el licenciador lo respalda a usted o a su uso.
  Sin restricciones adicionales: no puede aplicar términos legales o medidas tecnológicas que restrinjan legalmente a otros a hacer cualquier cosa que permita la licencia.

Artículos más leídos del mismo autor/a