Show simple item record

dc.contributor.advisorVaggione, Diego José
dc.contributor.authorLeberle, Maico Carlos
dc.date.accessioned2018-01-31T18:26:52Z
dc.date.available2018-01-31T18:26:52Z
dc.date.issued2017
dc.identifier.urihttp://hdl.handle.net/11086/5792
dc.description.abstractEl 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 cadenas infinitas del reticulado de Post mediante la aplicación de varios conceptos de Álgebra Universal. Para esto, estudiaremos el reticulado de congruencias de un álgebra, las variedades, las álgebras subdirectamente irreducibles, el álgebra libre de una variedad, las condiciones de Mal'cev y de Jónnson, y los clones. Además, se presentan la variedad de las álgebras implicativas y las AE-sentencias (sentencias de la forma "para todo existe un único (conjunción de equivalencias)"), centrales en el desarrollo de este trabajo. A través de las AE-sentencias, estudiaremos el clon de funciones algebraicas y las (sub)clases algebraicamente expandibles. Será posible, entonces, describir la cadena infinita de clones comprendidos entre el clon de operaciones término y el clon de funciones algebraicas del álgebra implicativa de 2 elementos (i.e., los clones que contienen a la función booleana implica) mediante la demostración de un anti-isomorfismo con el reticulado de subclases algebraicamente expandibles de la variedad de las álgebras implicativases
dc.language.isospaes
dc.rightsAtribución-NoComercial-CompartirIgual 2.5 Argentina*
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/*
dc.subjectLógica matemáticaes
dc.subjectMathematical Logicen
dc.titleAplicaciones de álgebra universal al reticulado de Postes
dc.typebachelorThesises


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

Atribución-NoComercial-CompartirIgual 2.5 Argentina
Except where otherwise noted, this item's license is described as Atribución-NoComercial-CompartirIgual 2.5 Argentina