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

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 apr...

Descripción completa

Detalles Bibliográficos
Autores principales: Kiehr, Arian, Ré Medina, Matías Ariel
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2012
Materias:
Ciencias Informáticas
GNU
LogicChess
Herramienta Didáctica
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/124937
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-124937
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
GNU
LogicChess
Herramienta Didáctica
spellingShingle Ciencias Informáticas
GNU
LogicChess
Herramienta Didáctica
Kiehr, Arian
Ré Medina, Matías Ariel
Logicchess: herramienta didáctica para la ejercitación en lógica de predicados de primer orden
topic_facet Ciencias Informáticas
GNU
LogicChess
Herramienta Didáctica
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.
format Objeto de conferencia
Objeto de conferencia
author Kiehr, Arian
Ré Medina, Matías Ariel
author_facet Kiehr, Arian
Ré Medina, Matías Ariel
author_sort Kiehr, Arian
title Logicchess: herramienta didáctica para la ejercitación en lógica de predicados de primer orden
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
publishDate 2012
url http://sedici.unlp.edu.ar/handle/10915/124937
work_keys_str_mv AT kiehrarian logicchessherramientadidacticaparalaejercitacionenlogicadepredicadosdeprimerorden
AT remedinamatiasariel logicchessherramientadidacticaparalaejercitacionenlogicadepredicadosdeprimerorden
bdutipo_str Repositorios
_version_ 1764820451319611395

Ejemplares similares