yet.anotherTruth.Tree.Tool: una herramienta didáctica sobre árboles de refutación

Con el objetivo de lograr una herramienta didáctica para la enseñanza de conceptos relacionados con la Lógica de Predicados de Primer Orden se desarrolló yaT3 (yet Another Truth Tree Tool). Esta herramienta presenta una interfaz gráfica sencilla de utilizar, simple e intuitiva que provee el soporte...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Ruau, Kevin, Tosini, Juan Martín
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2015
Materias:
Ciencias Informáticas
software didáctico
Lógica
tipo de dato abstracto
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/59899
http://44jaiio.sadio.org.ar/sites/default/files/est63-71.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-59899
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
software didáctico
Lógica
tipo de dato abstracto
spellingShingle Ciencias Informáticas
software didáctico
Lógica
tipo de dato abstracto
Ruau, Kevin
Tosini, Juan Martín
yet.anotherTruth.Tree.Tool: una herramienta didáctica sobre árboles de refutación
topic_facet Ciencias Informáticas
software didáctico
Lógica
tipo de dato abstracto
description Con el objetivo de lograr una herramienta didáctica para la enseñanza de conceptos relacionados con la Lógica de Predicados de Primer Orden se desarrolló yaT3 (yet Another Truth Tree Tool). Esta herramienta presenta una interfaz gráfica sencilla de utilizar, simple e intuitiva que provee el soporte necesario para la construcción de Árboles de Refutación. La construcción de un Árbol de Refutación es un método para averiguar la satisfacibilidad de una fórmula. La herramienta yaT3 es software libre y está desarrollada en el lenguaje de programación C++. El proyecto fue desarrollado en el marco de un trabajo final de cátedra para dos materias de una carrera de Informática. Estas materias se dictan en el primer cuatrimestre del segundo año de la misma e involucran conceptos tanto de lógica como de análisis y diseño de algoritmos. Las mismas son Ciencias de la Computación II y Análisis y Diseño de Algoritmos I respectivamente.
format Objeto de conferencia
Objeto de conferencia
author Ruau, Kevin
Tosini, Juan Martín
author_facet Ruau, Kevin
Tosini, Juan Martín
author_sort Ruau, Kevin
title yet.anotherTruth.Tree.Tool: una herramienta didáctica sobre árboles de refutación
title_short yet.anotherTruth.Tree.Tool: una herramienta didáctica sobre árboles de refutación
title_full yet.anotherTruth.Tree.Tool: una herramienta didáctica sobre árboles de refutación
title_fullStr yet.anotherTruth.Tree.Tool: una herramienta didáctica sobre árboles de refutación
title_full_unstemmed yet.anotherTruth.Tree.Tool: una herramienta didáctica sobre árboles de refutación
title_sort yet.anothertruth.tree.tool: una herramienta didáctica sobre árboles de refutación
publishDate 2015
url http://sedici.unlp.edu.ar/handle/10915/59899
http://44jaiio.sadio.org.ar/sites/default/files/est63-71.pdf
work_keys_str_mv AT ruaukevin yetanothertruthtreetoolunaherramientadidacticasobrearbolesderefutacion
AT tosinijuanmartin yetanothertruthtreetoolunaherramientadidacticasobrearbolesderefutacion
bdutipo_str Repositorios
_version_ 1764820478084513797

Ejemplares similares