Aplicaciones de álgebra universal al reticulado de Post
El reticulado de todos los clones de funciones booleanas ordenados por inclusión, mejor conocido como reticulado de Post, es de suma importancia en Ciencias de la Computación en lo referido al problema de satisfacibilidad booleana y su complejidad. En este trabajo se logra describir una de las caden...
Autor principal: | Leberle, Maico Carlos |
---|---|
Otros Autores: | Vaggione, Diego José |
Formato: | bachelorThesis |
Lenguaje: | Español |
Publicado: |
2018
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/11086/5792 |
Aporte de: | Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba Ver origen |
Ejemplares similares
-
Aplicaciones de álgebra universal al reticulado de Post
por: Leberle, Maico Carlos
Publicado: (2018) -
Álgebras de Heyting con sucesor
por: San Martín, Hernán Javier
Publicado: (2011) -
La herencia oscura del logicismo
por: Ferreirós, José
Publicado: (2020) -
Aristotle and the Philosophy of Mathematics
por: Arana, Juan
Publicado: (2019) -
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
por: Orbe, Alejandro Ezequiel
Publicado: (2016)