| Revista: | Programación matemática y software |
| Base de datos: | |
| Número de sistema: | 000573205 |
| ISSN: | 2007-3283 |
| Autores: | Morales Angelino, Feliciano1 Cuevas Valencia, René Edmundo1 Alonso Silverio, Gustavo Adolfo1 Alarcón Paredes, Antonio1 Catalán Villegas, Arnulfo1 |
| Instituciones: | 1Facultad 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, |
| Año: | 2019 |
| Volumen: | 11 |
| Número: | 3 |
| Paginación: | 45-56 |
| País: | México |
| Idioma: | Español |
| Resumen en inglés | In this article we describe the analysis of educational software that allows us to demonstrate logical structures through semantic methods. Once the analysis was carried out, it was determined to use the educational software called WinKE to implement a didactic strategy on the demonstration of logical structures by means of the Semantic Tables method for Propositional Logic corresponding to the Computer Logic Learning Unit of the Educational Program of Engineers in computing. It is evident that the application of this software has allowed the student to strengthen his abilities to identify the rules and the order in which they should be used in the demonstration of logical structures efficiently. |
| Resumen en español | 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. |
| Palabras clave: | Software educativo, Estructura lógica, WinKE, tablas semánticas |
| Keyword: | Educational software, logical structure, WinKE, semantic tables |
| Texto completo: | Texto completo (Ver PDF) |
