THeM: una herramienta didáctica para modelos de Herbrand

Autores
Dahl, Juan Ricardo; Fujii, Daniel
Año de publicación
2016
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
La herramienta ‘THeM’ fue creada como trabajo de final de dos materias de segundo año de una carrera de Informática. Esta permite, dado un conjunto de cláusulas de la Lógica de Predicados de Primer Orden, determinar la existencia de Modelos de Herbrand para las mismas (lo cual permite conocer su satisfacibilidad). La herramienta provee una interfaz sencilla de utilizar y de entender, ya que uno de los objetivos es que sea usada por futuros alumnos de materias que estudien el tema.
Trabajos de cátedra.
Sociedad Argentina de Informática e Investigación Operativa (SADIO)
Materia
Ciencias Informáticas
Lógica de Predicados de Primer Orden
Modelos de Herbrand
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by/3.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/58127
Acceder
id SEDICI_f2e74273d5ed4bf1d71a252bbcbf7873
oai_identifier_str oai:sedici.unlp.edu.ar:10915/58127
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling THeM: una herramienta didáctica para modelos de HerbrandDahl, Juan RicardoFujii, DanielCiencias InformáticasLógica de Predicados de Primer OrdenModelos de HerbrandLa herramienta ‘THeM’ fue creada como trabajo de final de dos materias de segundo año de una carrera de Informática. Esta permite, dado un conjunto de cláusulas de la Lógica de Predicados de Primer Orden, determinar la existencia de Modelos de Herbrand para las mismas (lo cual permite conocer su satisfacibilidad). La herramienta provee una interfaz sencilla de utilizar y de entender, ya que uno de los objetivos es que sea usada por futuros alumnos de materias que estudien el tema.Trabajos de cátedra.Sociedad Argentina de Informática e Investigación Operativa (SADIO)2016-09info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf232-241http://sedici.unlp.edu.ar/handle/10915/58127spainfo:eu-repo/semantics/altIdentifier/url/http://45jaiio.sadio.org.ar/sites/default/files/EST-1635.pdfinfo:eu-repo/semantics/altIdentifier/issn/2451-7615info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/3.0/Creative Commons Attribution 3.0 Unported (CC BY 3.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-15T10:59:06Zoai:sedici.unlp.edu.ar:10915/58127Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-15 10:59:06.764SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv THeM: una herramienta didáctica para modelos de Herbrand
title THeM: una herramienta didáctica para modelos de Herbrand
spellingShingle THeM: una herramienta didáctica para modelos de Herbrand
Dahl, Juan Ricardo
Ciencias Informáticas
Lógica de Predicados de Primer Orden
Modelos de Herbrand
title_short THeM: una herramienta didáctica para modelos de Herbrand
title_full THeM: una herramienta didáctica para modelos de Herbrand
title_fullStr THeM: una herramienta didáctica para modelos de Herbrand
title_full_unstemmed THeM: una herramienta didáctica para modelos de Herbrand
title_sort THeM: una herramienta didáctica para modelos de Herbrand
dc.creator.none.fl_str_mv Dahl, Juan Ricardo
Fujii, Daniel
author Dahl, Juan Ricardo
author_facet Dahl, Juan Ricardo
Fujii, Daniel
author_role author
author2 Fujii, Daniel
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Lógica de Predicados de Primer Orden
Modelos de Herbrand
topic Ciencias Informáticas
Lógica de Predicados de Primer Orden
Modelos de Herbrand
dc.description.none.fl_txt_mv La herramienta ‘THeM’ fue creada como trabajo de final de dos materias de segundo año de una carrera de Informática. Esta permite, dado un conjunto de cláusulas de la Lógica de Predicados de Primer Orden, determinar la existencia de Modelos de Herbrand para las mismas (lo cual permite conocer su satisfacibilidad). La herramienta provee una interfaz sencilla de utilizar y de entender, ya que uno de los objetivos es que sea usada por futuros alumnos de materias que estudien el tema.
Trabajos de cátedra.
Sociedad Argentina de Informática e Investigación Operativa (SADIO)
description La herramienta ‘THeM’ fue creada como trabajo de final de dos materias de segundo año de una carrera de Informática. Esta permite, dado un conjunto de cláusulas de la Lógica de Predicados de Primer Orden, determinar la existencia de Modelos de Herbrand para las mismas (lo cual permite conocer su satisfacibilidad). La herramienta provee una interfaz sencilla de utilizar y de entender, ya que uno de los objetivos es que sea usada por futuros alumnos de materias que estudien el tema.
publishDate 2016
dc.date.none.fl_str_mv 2016-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/58127
url http://sedici.unlp.edu.ar/handle/10915/58127
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://45jaiio.sadio.org.ar/sites/default/files/EST-1635.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/3.0/
Creative Commons Attribution 3.0 Unported (CC BY 3.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/3.0/
Creative Commons Attribution 3.0 Unported (CC BY 3.0)
dc.format.none.fl_str_mv application/pdf
232-241
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_ 1846064039117979648
score 13.22299

Publicaciones similares