THeM: una herramienta didáctica para modelos de Herbrand

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

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Dahl, Juan Ricardo, Fujii, Daniel
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2016
Materias:	Ciencias Informáticas Lógica de Predicados de Primer Orden Modelos de Herbrand
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/58127 http://45jaiio.sadio.org.ar/sites/default/files/EST-1635.pdf
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-58127
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 Lógica de Predicados de Primer Orden Modelos de Herbrand
spellingShingle	Ciencias Informáticas Lógica de Predicados de Primer Orden Modelos de Herbrand Dahl, Juan Ricardo Fujii, Daniel THeM: una herramienta didáctica para modelos de Herbrand
topic_facet	Ciencias Informáticas Lógica de Predicados de Primer Orden Modelos de Herbrand
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.
format	Objeto de conferencia Objeto de conferencia
author	Dahl, Juan Ricardo Fujii, Daniel
author_facet	Dahl, Juan Ricardo Fujii, Daniel
author_sort	Dahl, Juan Ricardo
title	THeM: una herramienta didáctica para 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
publishDate	2016
url	http://sedici.unlp.edu.ar/handle/10915/58127 http://45jaiio.sadio.org.ar/sites/default/files/EST-1635.pdf
work_keys_str_mv	AT dahljuanricardo themunaherramientadidacticaparamodelosdeherbrand AT fujiidaniel themunaherramientadidacticaparamodelosdeherbrand
bdutipo_str	Repositorios
_version_	1764820477294936064

THeM: una herramienta didáctica para modelos de Herbrand

Ejemplares similares