Concept
Complemented lattice
Concepts associés (8)
Treillis modulaire
Dans le cadre mathématique de la théorie des ordres, un treillis modulaire est un treillis qui vérifie la condition auto-duale suivante Loi de modularité : implique Les treillis modulaires apparaissent en algèbre et dans de nombreux autres domaines des mathématiques. Par exemple, les sous-espaces vectoriels d'un espace vectoriel, et plus généralement les sous-modules d'un module sur un anneau, forment un treillis modulaire. Les treillis modulaires sont parfois appelés treillis de Dedekind, d'après Richard Dedekind, qui a formulé la loi de modularité.
Algèbre de Boole (logique)
Lalgèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions. Elle fut lancée en 1854 par le mathématicien britannique George Boole. L'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.
Treillis des sous-groupes
thumb|Diagramme de Hasse du treillis des sous-groupes du groupe diédral D. En mathématique, le treillis des sous-groupes d'un groupe G est le treillis constitué des sous-groupes de G, muni de l'inclusion comme relation d'ordre partielle. La borne supérieure de deux sous-groupes a et b est le sous-groupe engendré par l'union de a et b et leur borne inférieure est leur intersection. Le groupe diédral D des huit isométries du carré contient dix sous-groupes, y compris D lui-même et son sous-groupe trivial.
Logique quantique
La logique quantique est la base de raisonnements et conclusions en accord avec les postulats de la mécanique quantique. En particulier, les observables n'étant pas forcément commutatives, le théorème d'Heisenberg (cf. le principe d'incertitude), entraîne la notion d'intricats, notion purement quantique comme l'illustre celle de chat mort & vivant du célèbre paradoxe du chat de Schrödinger. John von Neumann a montré, en réfléchissant aux fondations de la mécanique quantique, que la logique d'Aristote (cf.
Treillis (ensemble ordonné)
En mathématiques, un treillis () est une des structures algébriques utilisées en algèbre générale. C'est un ensemble partiellement ordonné dans lequel chaque paire d'éléments admet une borne supérieure et une borne inférieure. Un treillis peut être vu comme le treillis de Galois d'une relation binaire. Il existe en réalité deux définitions équivalentes du treillis, une concernant la relation d'ordre citée précédemment, l'autre algébrique. Tout ensemble muni d'une relation d'ordre total est un treillis.
Algèbre de Boole (structure)
vignette|Exemple d'algèbre de Boole : l'ensemble des parties de l'ensemble {x, y, z} illustré par son diagramme de Hasse. En mathématiques, une algèbre de Boole, ou parfois anneau de Boole, est une structure algébrique étudiée en particulier en logique mathématique. Une algèbre de Boole peut être définie soit comme une structure ordonnée particulière, soit comme une structure algébrique particulière, soit comme un anneau (unitaire) dont tout élément égale son carré.
Distributive lattice
In mathematics, a distributive lattice is a lattice in which the operations of join and meet distribute over each other. The prototypical examples of such structures are collections of sets for which the lattice operations can be given by set union and intersection. Indeed, these lattices of sets describe the scenery completely: every distributive lattice is—up to isomorphism—given as such a lattice of sets. As in the case of arbitrary lattices, one can choose to consider a distributive lattice L either as a structure of order theory or of universal algebra.
John von Neumann
John von Neumann (János Lajos Neumann) (, János Lajos Neumann en hongrois), né le à Budapest et mort le à Washington, est un mathématicien et physicien américano-hongrois. Il a apporté d'importantes contributions en mécanique quantique, en analyse fonctionnelle, en logique mathématique, en informatique théorique, en sciences économiques et dans beaucoup d'autres domaines des mathématiques et de la physique. Il a de plus participé aux programmes militaires américains.