Logicchess: herramienta didáctica para la ejercitación en lógica de predicados de primer orden

Autores
Kiehr, Arian; Ré Medina, Matías Ariel
Año de publicación
2012
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
LogicChess fue desarrollado como proyecto final correspondiente a dos materias de una carrera de Informática dictadas en el segundo año de la misma que introducen una, conceptos de análisis y diseño de algoritmos y la otra, un curso básico de Lógica. El objetivo fue crear una herramienta para el aprendizaje práctico de la Lógica de Primer Orden, haciendo énfasis en el análisis sintáctico y semántico de fórmulas para que el usuario (el alumno) pueda consolidar sus conceptos teóricos a través de un entorno amigable en el cual trabajar. Básicamente el programa permite el ingreso de fórmulas lógicas y las evalúa sintácticamente para determinar si son fórmulas bien formadas, en caso de que lo sean podrán ser evaluadas semánticamente en algún modelo definido por el usuario para el frame soportado por la herramienta. LogicChess ha sido diseñado de forma tal que pueda ser usado como apoyo en la ejercitación en cursos básicos de Lógica clásica. LogicChess es software libre, actualmente se encuentra liberado bajo la licencia GNU GPL v3.
Sociedad Argentina de Informática e Investigación Operativa
Materia
Ciencias Informáticas
GNU
LogicChess
Herramienta Didáctica
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/124937
Acceder
id SEDICI_72edae50a029f78e32505c7b245c8198
oai_identifier_str oai:sedici.unlp.edu.ar:10915/124937
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Logicchess: herramienta didáctica para la ejercitación en lógica de predicados de primer ordenKiehr, ArianRé Medina, Matías ArielCiencias InformáticasGNULogicChessHerramienta DidácticaLogicChess fue desarrollado como proyecto final correspondiente a dos materias de una carrera de Informática dictadas en el segundo año de la misma que introducen una, conceptos de análisis y diseño de algoritmos y la otra, un curso básico de Lógica. El objetivo fue crear una herramienta para el aprendizaje práctico de la Lógica de Primer Orden, haciendo énfasis en el análisis sintáctico y semántico de fórmulas para que el usuario (el alumno) pueda consolidar sus conceptos teóricos a través de un entorno amigable en el cual trabajar. Básicamente el programa permite el ingreso de fórmulas lógicas y las evalúa sintácticamente para determinar si son fórmulas bien formadas, en caso de que lo sean podrán ser evaluadas semánticamente en algún modelo definido por el usuario para el frame soportado por la herramienta. LogicChess ha sido diseñado de forma tal que pueda ser usado como apoyo en la ejercitación en cursos básicos de Lógica clásica. LogicChess es software libre, actualmente se encuentra liberado bajo la licencia GNU GPL v3.Sociedad Argentina de Informática e Investigación Operativa2012info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf394-404http://sedici.unlp.edu.ar/handle/10915/124937spainfo:eu-repo/semantics/altIdentifier/issn/1850-2946info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-15T11:21:57Zoai:sedici.unlp.edu.ar:10915/124937Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-15 11:21:57.454SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Logicchess: herramienta didáctica para la ejercitación en lógica de predicados de primer orden
title Logicchess: herramienta didáctica para la ejercitación en lógica de predicados de primer orden
spellingShingle Logicchess: herramienta didáctica para la ejercitación en lógica de predicados de primer orden
Kiehr, Arian
Ciencias Informáticas
GNU
LogicChess
Herramienta Didáctica
title_short Logicchess: herramienta didáctica para la ejercitación en lógica de predicados de primer orden
title_full Logicchess: herramienta didáctica para la ejercitación en lógica de predicados de primer orden
title_fullStr Logicchess: herramienta didáctica para la ejercitación en lógica de predicados de primer orden
title_full_unstemmed Logicchess: herramienta didáctica para la ejercitación en lógica de predicados de primer orden
title_sort Logicchess: herramienta didáctica para la ejercitación en lógica de predicados de primer orden
dc.creator.none.fl_str_mv Kiehr, Arian
Ré Medina, Matías Ariel
author Kiehr, Arian
author_facet Kiehr, Arian
Ré Medina, Matías Ariel
author_role author
author2 Ré Medina, Matías Ariel
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
GNU
LogicChess
Herramienta Didáctica
topic Ciencias Informáticas
GNU
LogicChess
Herramienta Didáctica
dc.description.none.fl_txt_mv LogicChess fue desarrollado como proyecto final correspondiente a dos materias de una carrera de Informática dictadas en el segundo año de la misma que introducen una, conceptos de análisis y diseño de algoritmos y la otra, un curso básico de Lógica. El objetivo fue crear una herramienta para el aprendizaje práctico de la Lógica de Primer Orden, haciendo énfasis en el análisis sintáctico y semántico de fórmulas para que el usuario (el alumno) pueda consolidar sus conceptos teóricos a través de un entorno amigable en el cual trabajar. Básicamente el programa permite el ingreso de fórmulas lógicas y las evalúa sintácticamente para determinar si son fórmulas bien formadas, en caso de que lo sean podrán ser evaluadas semánticamente en algún modelo definido por el usuario para el frame soportado por la herramienta. LogicChess ha sido diseñado de forma tal que pueda ser usado como apoyo en la ejercitación en cursos básicos de Lógica clásica. LogicChess es software libre, actualmente se encuentra liberado bajo la licencia GNU GPL v3.
Sociedad Argentina de Informática e Investigación Operativa
description LogicChess fue desarrollado como proyecto final correspondiente a dos materias de una carrera de Informática dictadas en el segundo año de la misma que introducen una, conceptos de análisis y diseño de algoritmos y la otra, un curso básico de Lógica. El objetivo fue crear una herramienta para el aprendizaje práctico de la Lógica de Primer Orden, haciendo énfasis en el análisis sintáctico y semántico de fórmulas para que el usuario (el alumno) pueda consolidar sus conceptos teóricos a través de un entorno amigable en el cual trabajar. Básicamente el programa permite el ingreso de fórmulas lógicas y las evalúa sintácticamente para determinar si son fórmulas bien formadas, en caso de que lo sean podrán ser evaluadas semánticamente en algún modelo definido por el usuario para el frame soportado por la herramienta. LogicChess ha sido diseñado de forma tal que pueda ser usado como apoyo en la ejercitación en cursos básicos de Lógica clásica. LogicChess es software libre, actualmente se encuentra liberado bajo la licencia GNU GPL v3.
publishDate 2012
dc.date.none.fl_str_mv 2012
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/124937
url http://sedici.unlp.edu.ar/handle/10915/124937
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/issn/1850-2946
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
394-404
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1846064275956695040
score 13.22299

Publicaciones similares