SAT: una herramienta didáctica para el problema de la satisfacibilidad
- Autores
- Covelli, Tomás; Horquín, Enzo Nicolás; Santillán Cooper, Martín
- Año de publicación
- 2017
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- 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) - Materia
-
Ciencias Informáticas
lógica proposicional
herramienta didáctica - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-sa/4.0/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/65402
Ver los metadatos del registro completo
id |
SEDICI_cce1c82dcff9b2908bcedf6872725e77 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/65402 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
SAT: una herramienta didáctica para el problema de la satisfacibilidadCovelli, TomásHorquín, Enzo NicolásSantillán Cooper, MartínCiencias Informáticaslógica proposicionalherramienta didácticaLa 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)2017-09info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf62-71http://sedici.unlp.edu.ar/handle/10915/65402spainfo:eu-repo/semantics/altIdentifier/url/http://www.clei2017-46jaiio.sadio.org.ar/sites/default/files/Mem/EST/est-06.pdfinfo:eu-repo/semantics/altIdentifier/issn/2451-7615info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-sa/4.0/Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-15T11:01:35Zoai:sedici.unlp.edu.ar:10915/65402Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-15 11:01:35.276SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
SAT: una herramienta didáctica para el problema de la satisfacibilidad |
title |
SAT: una herramienta didáctica para el problema de la satisfacibilidad |
spellingShingle |
SAT: una herramienta didáctica para el problema de la satisfacibilidad Covelli, Tomás Ciencias Informáticas lógica proposicional herramienta didáctica |
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 |
dc.creator.none.fl_str_mv |
Covelli, Tomás Horquín, Enzo Nicolás Santillán Cooper, Martín |
author |
Covelli, Tomás |
author_facet |
Covelli, Tomás Horquín, Enzo Nicolás Santillán Cooper, Martín |
author_role |
author |
author2 |
Horquín, Enzo Nicolás Santillán Cooper, Martín |
author2_role |
author author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas lógica proposicional herramienta didáctica |
topic |
Ciencias Informáticas lógica proposicional herramienta didáctica |
dc.description.none.fl_txt_mv |
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) |
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. |
publishDate |
2017 |
dc.date.none.fl_str_mv |
2017-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/65402 |
url |
http://sedici.unlp.edu.ar/handle/10915/65402 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/url/http://www.clei2017-46jaiio.sadio.org.ar/sites/default/files/Mem/EST/est-06.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/4.0/ Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-sa/4.0/ Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) |
dc.format.none.fl_str_mv |
application/pdf 62-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_ |
1846064066359984128 |
score |
13.22299 |