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

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:
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 Ver origen
id I19-R120-10915-65402
record_format dspace
spelling I19-R120-10915-654022020-01-05T20:03:19Z http://sedici.unlp.edu.ar/handle/10915/65402 http://www.clei2017-46jaiio.sadio.org.ar/sites/default/files/Mem/EST/est-06.pdf issn:2451-7615 SAT: una herramienta didáctica para el problema de la satisfacibilidad Covelli, Tomás Horquín, Enzo Nicolás Santillán Cooper, Martín 2017-09 2017 2018-03-08T16:37:26Z es Ciencias Informáticas lógica proposicional herramienta didáctica 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. Sociedad Argentina de Informática e Investigación Operativa (SADIO) Objeto de conferencia Objeto de conferencia http://creativecommons.org/licenses/by-sa/4.0/ Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) application/pdf 62-71
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
_version_ 1734135043621650432