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 19 of 19 for “"boole"”.
-
Teorema de Vitali-Hahn-Saks en álgebras de Boole
… es probado para una nueva clase de álgebras de Boole definidas por una propiedad de separación de sus sucesiones disjuntas.
-
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, …
-
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
… consti-tuyen una ampliación de las álgebras de Boole monádicas de Halmos, también hemos extendido algunos resultados sobre las álgebras de Boole Monádicas al caso de las Df2-álgebras, que por supuesto no fueron establecidos previamente poor Bezhanishvili. Al trabajo lo hemos organizado en cuatro …
-
Dimensión en álgebra constructiva
… cero universal) y espectronooleano (Álgebra de Boole libre sobre el espectro primo). Se define y caracteriza la dimensión de un retículo a través de la dualidad (presentación finita) y de argumentos de limites inductivos filtrantes caso general). Tomando el retículo espectro primo se …
-
Subvariedades de MV-álgebras monádicas y de sus subreductos implicativos monádicos
… indescomponibles por medio del álgebra de Boole monádica de sus elementos complementados y describimos el fragmento del reticulado de subvariedades que se encuentra contenido en V([0; 1]k), para cada k entero positivo, dando una axiomatización para dichas subvariedades. Estudiamos, además, …
-
Contribución al estudio de ternas de De Morgan generalizadas
… de la Lógica se sitúan en el trabajo de G. Boole "The Mathematical Analysis of Logic" (Mac Millan, Barclay £ Mac Millan, Cambridge, 1847). Con la aportación de Boole se llegan a construir los sistemas formales necesarios para deducir los teoremas de la lógica a través de procedimientos …
-
Polinomios de Appell y funciones especiales en la teoría de Dunkl
… de polinomios Appell-Dunkl: los polinomios de Boole-Dunkl. En concreto, son una familia de polinomios de Appell-Dunkl discretos que generalizan los polinomios de Boole clásicos. Las dificultades de esto son, de nuevo, numerosas, esta vez basadas, sobre todo, en que la traslación de Dunkl es un …
-
Studies in the comparative anatomy of the Clethraceae
These 20 species represent collections form the almost world wide distribution of this family. Anatomically all species studied were found to be homogeneous showing a gradual advancement from the most primitive species studied to the most advanced. From a morphological and geographical viewpoint …
-
Substructurality and residuation in logic and algebra
… of substructural logics. In the XIX century, Boole noticed a close connection between “the laws of thought,” as he put it, and algebra. After him, other mathematicians put together all the pieces and described a sort of algebras, named Boole algebras after him, and shed light on the connection …
-
Umbral Calculus A Different Mathematical Language
… introduced by the operationalists (Sylvester, Boole, Glaisher, Crofton and Blizard) of the second half of the XIX century. The method has opened new avenues to deal with rational, trascendental and higher order trascendental functions, by the use of the same operational forms. The technique had …
-
Προσδιορισμός πεπερασμένων σεισμικών ρηγμάτων από γεωδαιτικές παρατηρήσεις με βάση την αριθμητική-στοχαστική μέθοδο της Τοπολογικής Αντιστροφής (αλγόριθμος TOPological INVersion, TOPINV)
… επιλεγμένη τιμή της παραμέτρου k και με λογική Boole προσδιορίζονται τα σημεία που ικανοποιούν τις ανισώσεις παρατήρησης (ομοίομορφη αναζήτηση, uniform search), και κατά πόσο ορίζουν συμπαγή χώρο (ή χώρους) n διαστάσεων, ο οποιος εξ ορισμού περιέχει την αληθή λύση του συστήματος των εξισώσεων. …
-
Álgebras de De Morgan pseudocomplementadas modales 4-valuadas
… concluir que ellas constituyen un álgebra de Boole. A continuación mostramos, entre otros resultados, que mpM es discriminadora lo cual nos proporcionó numerosas propiedades de las mpM−congruencias en general. Posteriormente, probamos que las congruencias principales y booleanas coinciden y …
-
Contribución al estudio crítico de la inferencia borrosa y de sus aplicaciones
… abiertos campos por explorar, como la idea de booleanidad (gradual) de las teorías borrosas. En la misma línea metodológica, el siguiente capítulo estudia tipos de razonamiento basados en el condicional, tales como el Modus Ponens, Modus Tollens, Dilema constructivo, etc. en retículos y teorías …
-
Bad Logic: Reasoning about Desire in the Victorian Novel
… as Thomas Carlyle, John Stuart Mill, George Boole, and George Eliot took up the stubborn problem of logic and its complex relationship to character. But it was the realist novel, I argue, that allowed for the fullest development of this problem through its own strategies for developing …
-
AN INTRODUCTION TO BOOLEAN ALGEBRAS
<p>This thesis discusses the topic of Boolean algebras. In order to build intuitive understanding of the topic, research began with the investigation of Boolean algebras in the area of Abstract Algebra. The content of this initial research used a particular notation. The ideas of partially ordered …
-
Un estudio algebraico y topológico en variedades de álgebras de De Morgan con operadores
… Lukasiewicz-Moisil de orden 3 y las álgebras de Boole. Finalizamos el capítulo describiendo el retículo de las subvariedades de la variedad de las S-álgebras. En el Capítulo III, introducimos y estudiamos las mpM-´algebras enriquecidas con un automorfismo de periodo k, donde k 2 IN, k 2 a las que …
-
ΜΙΑ ΜΠΟΥΛΙΑΝΗ ΓΕΝΙΚΕΥΣΗ ΤΗΣ ΑΠΕΙΡΟΣΤΙΚΗΣ ΑΝΑΛΥΣΗΣ ΜΕ ΕΦΑΡΜΟΓΕΣ ΣΤΑ ΑΣΑΦΗ ΣΥΝΟΛΑ
… SPACE (Ω, Α, Ρ), THAT LOADS US TO THE BOOLEAN ANALYSIS. INTERNAL-EXTERNAL SETS, MOSTOWSKI'S COLLAPSING TRANSFER PRINCIPLE AND OTHER NOTIONS OF NON STANDARD ANALYSIS ARE ALSO GENERALIZED. WE USE THE THEORY OF BOOLEAN POWERS AND FINALLY WE GET A BOOLEAN- VALUED MODEL OF THE REALS (IR#), …