SAT: una herramienta didáctica para el problema de la satisfacibilidad

La herramienta ‘SAT’ fue creada como trabajo final de dos materias del segundo año de la carrera de Ingeniería de Sistemas. SAT permite, dada una fórmula de la Lógica Proposicional expresada en forma normal conjuntiva (FNC), decidir si es satisfacible o no. En otras palabras, encontrar una configura...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Covelli, Tomás, Horquín, Enzo Nicolás, Santillán Cooper, Martín
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2017
Materias:	Ciencias Informáticas lógica proposicional herramienta didáctica
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/65402 http://www.clei2017-46jaiio.sadio.org.ar/sites/default/files/Mem/EST/est-06.pdf
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-65402
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 proposicional herramienta didáctica
spellingShingle	Ciencias Informáticas lógica proposicional herramienta didáctica Covelli, Tomás Horquín, Enzo Nicolás Santillán Cooper, Martín SAT: una herramienta didáctica para el problema de la satisfacibilidad
topic_facet	Ciencias Informáticas lógica proposicional herramienta didáctica
description	La herramienta ‘SAT’ fue creada como trabajo final de dos materias del segundo año de la carrera de Ingeniería de Sistemas. SAT permite, dada una fórmula de la Lógica Proposicional expresada en forma normal conjuntiva (FNC), decidir si es satisfacible o no. En otras palabras, encontrar una configuración de valores para los literales de determinada fórmula booleana que evalúen la misma en verdadera. El objetivo de esta herramienta es el de complementar el estudio de los estudiantes en el área de Lógica Proposicional contando con una herramienta didáctica y fácil de usar. Se muestran dos aplicaciones que resuelven problemas computacionales a partir de la Lógica Proposicional.
format	Objeto de conferencia Objeto de conferencia
author	Covelli, Tomás Horquín, Enzo Nicolás Santillán Cooper, Martín
author_facet	Covelli, Tomás Horquín, Enzo Nicolás Santillán Cooper, Martín
author_sort	Covelli, Tomás
title	SAT: una herramienta didáctica para el problema de la satisfacibilidad
title_short	SAT: una herramienta didáctica para el problema de la satisfacibilidad
title_full	SAT: una herramienta didáctica para el problema de la satisfacibilidad
title_fullStr	SAT: una herramienta didáctica para el problema de la satisfacibilidad
title_full_unstemmed	SAT: una herramienta didáctica para el problema de la satisfacibilidad
title_sort	sat: una herramienta didáctica para el problema de la satisfacibilidad
publishDate	2017
url	http://sedici.unlp.edu.ar/handle/10915/65402 http://www.clei2017-46jaiio.sadio.org.ar/sites/default/files/Mem/EST/est-06.pdf
work_keys_str_mv	AT covellitomas satunaherramientadidacticaparaelproblemadelasatisfacibilidad AT horquinenzonicolas satunaherramientadidacticaparaelproblemadelasatisfacibilidad AT santillancoopermartin satunaherramientadidacticaparaelproblemadelasatisfacibilidad
bdutipo_str	Repositorios
_version_	1764820480573833217

SAT: una herramienta didáctica para el problema de la satisfacibilidad

Ejemplares similares