Iván Darío Carmona, Juan Casta˜no, Santiago Giraldo
{"title":"用Python学习命题逻辑的教学工具：Logicalpy","authors":"Iván Darío Carmona, Juan Casta˜no, Santiago Giraldo","doi":"10.21500/20275846.3877","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":30271,"journal":{"name":"Ingenierias USBMed","volume":" ","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2019-03-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Herramienta didáctica con Python para el aprendizaje de la lógica proposicional: LogicalPy\",\"authors\":\"Iván Darío Carmona, Juan Casta˜no, Santiago Giraldo\",\"doi\":\"10.21500/20275846.3877\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":30271,\"journal\":{\"name\":\"Ingenierias USBMed\",\"volume\":\" \",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-03-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Ingenierias USBMed\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.21500/20275846.3877\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Ingenierias USBMed","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.21500/20275846.3877","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
