Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"Álgebra de Boole"”.
-
Boolean algebra: from digital circuits to deep learning applications
A álgebra de Boole tem um papel central na lógica digital, sendo essencial para o design e otimização de circuitos e sistemas computacionais. Este trabalho explora os princípios da álgebra de Boole e as suas aplicações tradicionais em circuitos digitais, bem como as suas utilizações inovadoras, …
-
Dimensión en álgebra constructiva
La memoria inicia una teoría constructiva de la dimensión de Krull de anillos. Al prescindir del tercio excluso y del axioma de elección hay que reformular la noción de espectro primo de un anillo y de espectro constructible. Siguiendo los trabajos de Joyal se estudian las nociones de cero …
-
Subvariedades de MV-álgebras monádicas y de sus subreductos implicativos monádicos
… dividida en dos partes. La primera parte está dedicada al estudio de la variedad MMV de las MV-álgebras monádicas y de sus subreductos implicativos. En primer lugar, demostramos que MMV está generada por sus miembros finitos, caracterizamos los miembros indescomponibles por medio del álgebra de …
-
Una contribución al desarrollo de las Tkm-álgebras
En 1955, las álgebras de Boole monádicas fueron introducidas por P. Halmos ([23]), como un modelo algebraico para el cálculo de predicados monádicos de la lógica clásica. Estas álgebras han sido ampliamente estudiadas por varios autores ([1], [24]) y en la actualidad se siguen realizando …
-
Una contribución sobre la variedad de las álgebras cilíndricas de dimensión dos libres de elementos diagonales
Con el objeto de iniciarme en la tarea de realizar investiación en Matemáticas y Lógica Matemática, Aldo V. Figallo, mi pa-dre y director de este trabajo, me sugirió comenzar con el análisis de un sistema proposicional algebrizable, o más preci-samente, la versión algebraica de ese sistema …
-
Álgebras de De Morgan pseudocomplementadas modales 4-valuadas
Las álgebras de De Morgan pseudocomplementadas fueron consideradas por primera vez por A. Romanowska ([66]) quien las denominó pM−álgebras y caracterizó las álgebras subdirectamente irreducibles finitas. Posteriormente, H. Sankappanavar ([67, 68]) continuó con el estudio de las pM−álgebras …