Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Herramienta didáctica con Python para el aprendizaje de la lógica proposicional: LogicalPy
View through CrossRef
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.
Universidad de San Buenaventura
Title: Herramienta didáctica con Python para el aprendizaje de la lógica proposicional: LogicalPy
Description:
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.
Related Results
Homenaje a Edgar Morin
Homenaje a Edgar Morin
La presentación del número 14/4 de nuestra Revista Boletín Redipe consta de 2 apartes: Palabras del pedagogo español Doctor José Manuel Touriñán durante la jornada de ceremonia en ...
PREVENÇÃO DA TROMBOSE VENOSA PROFUNDA NA GRAVIDEZ PELA ENFERMAGEM NA APS
PREVENÇÃO DA TROMBOSE VENOSA PROFUNDA NA GRAVIDEZ PELA ENFERMAGEM NA APS
PREVENÇÃO DA TROMBOSE VENOSA PROFUNDA NA GRAVIDEZ PELA ENFERMAGEM NA APS
Danilo Hudson Vieira de Souza1
Priscilla Bárbara Campos
Daniel dos Santos Fernandes
RESUMO
A gravidez ...
LA DIVISIÓN Y CONDENSACIÓN COMO ESTRATEGIA DIDÁCTICA EN EL PROCESO ENSEÑANZA-APRENDIZAJE UNIVERSITARIO
LA DIVISIÓN Y CONDENSACIÓN COMO ESTRATEGIA DIDÁCTICA EN EL PROCESO ENSEÑANZA-APRENDIZAJE UNIVERSITARIO
En el proceso enseñanza–aprendizaje, la didáctica es un instrumento muy efectivo cuando previo a una planificación, se la utiliza adecuadamente. La didáctica proporciona en la doce...
Introdução à lògica Proposicional estoica
Introdução à lògica Proposicional estoica
Esse trabalho é resultado de pesquisa sobre a lógica estoica empreendida desde 2013 no âmbito do projeto O problema da consistência do conceito estoico de phantasia (representação)...
Presentación
Presentación
Andrés Felipe Pérez1
Profesor Universidad Autónoma de Occidente
El presente número de nuestra Revista Boletín Redipe trae como trabajo invitado el del antropólogo y lingüista Ale...
Análisis de las prácticas docentes en torno a la enseñanza de lógica en la formación de estudiantes de profesorado en matemática
Análisis de las prácticas docentes en torno a la enseñanza de lógica en la formación de estudiantes de profesorado en matemática
La presente tesis se ocupa del análisis de las prácticas de dos profesores universitarios que enseñan temas vinculados al estudio de cálculo proposicional y cálculo de predicados a...
Basic and Advance: Phython Programming
Basic and Advance: Phython Programming
"This book will introduce you to the python programming language. It's aimed at beginning programmers, but even if you have written programs before and just want to add python to y...
Development of a standardized tool to calculate carbon footprint in ports
Development of a standardized tool to calculate carbon footprint in ports
An important goal to tackle environmental problems and foster sustainable development in the near future is to reduce the generation of greenhouse gas emissions (GHG) from differen...