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

Autores
Ruau, Kevin; Tosini, Juan Martín
Año de publicación
2015
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripció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 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.
Trabajos de cátedra
Sociedad Argentina de Informática e Investigación Operativa (SADIO)
Materia
Ciencias Informáticas
software didáctico
Lógica
tipo de dato abstracto
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-sa/3.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/59899

id SEDICI_eb3499c54b7d9f1a7286138b7fbc0190
oai_identifier_str oai:sedici.unlp.edu.ar:10915/59899
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling yet.anotherTruth.Tree.Tool: una herramienta didáctica sobre árboles de refutaciónRuau, KevinTosini, Juan MartínCiencias Informáticassoftware didácticoLógicatipo de dato abstractoCon 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.Trabajos de cátedraSociedad Argentina de Informática e Investigación Operativa (SADIO)2015-09info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf63-71http://sedici.unlp.edu.ar/handle/10915/59899spainfo:eu-repo/semantics/altIdentifier/url/http://44jaiio.sadio.org.ar/sites/default/files/est63-71.pdfinfo:eu-repo/semantics/altIdentifier/issn/2451-7615info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-sa/3.0/Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:07:11Zoai:sedici.unlp.edu.ar:10915/59899Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:07:11.966SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv yet.anotherTruth.Tree.Tool: una herramienta didáctica sobre árboles de refutación
title yet.anotherTruth.Tree.Tool: una herramienta didáctica sobre árboles de refutación
spellingShingle yet.anotherTruth.Tree.Tool: una herramienta didáctica sobre árboles de refutación
Ruau, Kevin
Ciencias Informáticas
software didáctico
Lógica
tipo de dato abstracto
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
dc.creator.none.fl_str_mv Ruau, Kevin
Tosini, Juan Martín
author Ruau, Kevin
author_facet Ruau, Kevin
Tosini, Juan Martín
author_role author
author2 Tosini, Juan Martín
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
software didáctico
Lógica
tipo de dato abstracto
topic Ciencias Informáticas
software didáctico
Lógica
tipo de dato abstracto
dc.description.none.fl_txt_mv 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.
Trabajos de cátedra
Sociedad Argentina de Informática e Investigación Operativa (SADIO)
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.
publishDate 2015
dc.date.none.fl_str_mv 2015-09
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/59899
url http://sedici.unlp.edu.ar/handle/10915/59899
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://44jaiio.sadio.org.ar/sites/default/files/est63-71.pdf
info:eu-repo/semantics/altIdentifier/issn/2451-7615
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-sa/3.0/
Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-sa/3.0/
Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)
dc.format.none.fl_str_mv application/pdf
63-71
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_ 1844615943472283648
score 13.070432