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...
Guardado en:
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: |
Ejemplares similares
-
Aplicaciones de álgebra universal al reticulado de Post
por: Leberle, Maico Carlos
Publicado: (2018) -
Moisil algebras /
por: Cignoli, Roberto
Publicado: (1970) -
Álgebras de Heyting con sucesor
por: San Martín, Hernán Javier
Publicado: (2011) -
Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs /
por: Porte, Jean
Publicado: (1965) -
Elements of symbolic logic /
por: Reichenbach, Hans, 1891-1953
Publicado: (1947)