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...
Guardado en:
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: |
Ejemplares similares
-
Matemática para maestros
por: Gabba, Pablo J.
Publicado: (1974) -
Techniques of deductive inference.
por: Leblanc, Hugues
Publicado: (1966) -
Logica, proposicion y norma.
por: Echave, Delia
Publicado: (1983) -
Introducción a la lógica y al método científico.
por: Cohen, Morris
Publicado: (2000) -
Symbolic Logic.
por: Lewis, Clarence Irving
Publicado: (1959)