Résultats de la recherche
Aller à la navigation
Aller à la recherche
Correspondances dans les titres des pages
- {{Voir homonymes|Algèbre de Boole}} ...uve de nombreuses applications en [[informatique]] et dans la [[Conception de circuits intégrés|conception]] des [[circuits électroniques]]. ...25 kio (3 848 mots) - 30 janvier 2025 à 10:48
- {{Voir homonymes|Algèbre de Boole}} ...'ensemble des parties de l'ensemble {x, y, z} illustré par son [[diagramme de Hasse]].]] ...28 kio (4 498 mots) - 24 février 2025 à 17:06
- ...1 et 0 par convention, afin que B = {0, 1}. [[Paul Halmos]] a nommé cette algèbre « '''2''' », celle-ci a été utilisée en littérature, et sera utilisée ici. ''B'' est un [[ensemble partiellement ordonné]] et les éléments de ''B'' sont aussi ses [[partie bornée]]. ...7 kio (1 196 mots) - 18 octobre 2024 à 13:22
- ...maux (en [[théorie des ordres]]). Cet article se concentre sur le théorème de l'idéal premier en [[Relation d'ordre|théorie des ordres]]. ...s ensembles. Les abréviations '''BPI''' ou''' PIT''' (pour les algèbres de Boole) sont parfois utilisées pour se référer à cet axiome supplémentaire. ...18 kio (3 057 mots) - 14 août 2022 à 16:43
Correspondances dans le texte des pages
- ...(mathématiques)|identité]] reliant deux [[Loi de composition interne|lois de composition interne]]. Deux lois de composition interne <math>\top</math> et <math>\bot</math> vérifient la loi ...1 kio (232 mots) - 13 mars 2018 à 12:52
- ...on appelle ''B'' l'ensemble constitué de deux éléments appelés '''valeurs de vérité''' {VRAI, FAUX}. Cet ensemble est aussi noté ''B'' = {1, 0} ou ''B'' ...rices, la notation {VRAI, FAUX} peut coexister avec la notation {1, 0} car de nombreux langages acceptent ce polymorphisme. ...1 kio (152 mots) - 7 mars 2025 à 15:51
- ...ensemble fini de points isolés les uns des autres est un exemple d'espace de Stone.]] En [[mathématiques]], plus précisément en [[topologie]], un '''espace de Stone''', ou '''espace profini''', est un [[espace topologique]] [[Espace c ...5 kio (722 mots) - 16 novembre 2024 à 09:23
- {{ébauche|algèbre|théorie des ensembles}} {{Voir homonymes|Algèbre (homonymie)}} ...5 kio (724 mots) - 15 novembre 2024 à 15:57
- |+Table de vérité OUI ...valeur VRAI ou FAUX, il associe un résultat qui a la même valeur que celle de l'opérande. ...1 kio (190 mots) - 13 octobre 2022 à 15:33
- {{Ébauche|algèbre|logique|mathématiques}} En [[algèbre]] et en [[logique]], une '''algèbre modale '''est une structure <math>\langle A,\land,\lor,-,0,1,\Box\rangle</m ...1 kio (233 mots) - 18 mai 2022 à 22:55
- ...|propositionnelle]]<ref>{{Ouvrage|prénom1=Jean B.|nom1=Murhega|titre=Essai de logique conceptuelle|éditeur=Publibook/Société des écrivains|année=26 avril ..." est fausse. Ceci est plus naturellement déclaré comme la non-implication de P à Q est vrai seulement si P est vrai et Q est faux<ref>{{Lien web |auteur ...3 kio (410 mots) - 15 mai 2024 à 05:18
- ...ole (structure)|algèbres de Boole]] et celle des [[Espace de Stone|espaces de Stone]] (espaces compacts totalement discontinus). Cette correspondance a é == Espace de Stone associé à une algèbre de Boole == ...11 kio (2 016 mots) - 9 novembre 2024 à 12:40
- En [[mathématiques]] et en [[algèbre abstraite]], un '''domaine booléen''' est un [[Notation (mathématiques)|ens ...ment sur un domaine booléen, est [[Algèbre de Boole (logique)|l'algèbre de Boole à deux éléments]]. L'[[Objet initial et objet final|objet initial]] dans la ...4 kio (572 mots) - 18 mai 2022 à 23:00
- |+Table de vérité NON (NOT) ...ou FAUX, il associe un résultat qui a lui-même la valeur inverse de celle de l'opérande. Pour cette raison, le circuit est également appelé '''inverseur ...2 kio (265 mots) - 20 octobre 2024 à 11:24
- ...l'anneau. Vus comme parties de l'[[anneau de Boole]] de toutes les parties de ''X'' (considéré comme un [[pseudo-anneau]]), ils en sont les sous-anneaux ...</ref>|Un '''anneau d'ensembles''' est un ensemble <math>\mathcal R</math> de parties d'un ensemble <math>X</math> qui vérifie : ...6 kio (925 mots) - 22 mai 2021 à 16:25
- ...e)|algèbres de Boole]], les espaces Stonéen correspondent aux [[Algèbre de Boole|algèbres booléennes complètes]]. * Le [[Compactification de Stone-Čech|compactifié de Stone-Čech]] d’un espace discret est extrêmement discontinu. ...3 kio (458 mots) - 19 septembre 2024 à 22:50
- |+Table de vérité OU (OR) ...est un [[opérateur logique]] de l'[[algèbre de Boole (logique)|algèbre de Boole]]. À deux [[Opérande|opérandes]], qui peuvent avoir chacun la valeur VRAI o ...2 kio (258 mots) - 16 octobre 2024 à 16:15
- ...e plus, une partie n'est souvent ni ouverte, ni fermée.</ref> : une partie de ''X'' est dite fermée si son [[Complémentaire (théorie des ensembles)|compl ...tiques)#Union d'une famille d'ensembles|réunion (éventuellement infinie)]] de tels éléments. Par exemple : ...4 kio (562 mots) - 17 août 2021 à 21:43
- ...[[Négation logique|négation]] de la [[Implication réciproque|réciproque]] de l'[[Implication (logique)|implication]]. === Table de vérité === ...11 kio (1 326 mots) - 22 février 2025 à 20:22
- ...ue|différence et différence symétrique]]) sont traitées dans l'article « [[Algèbre des parties d'un ensemble]] ». ...</math>, est l'ensemble dont les éléments sont tous les [[sous-ensemble]]s de <math>E</math> : ...4 kio (623 mots) - 5 septembre 2024 à 07:19
- ...n ensemble''', parfois appelé '''ensemble puissance''', est l'[[ensemble]] de tous les [[Inclusion (mathématiques)|sous-ensembles]] d'un ensemble donné ( ...oté <math>\mathcal{P}(E)</math>, dont les éléments sont les sous-ensembles de <math>E</math> : ...8 kio (1 268 mots) - 4 mars 2025 à 00:02
- ...iste analogue à ce que sont des [[Algèbre de Boole (structure)|algèbres de Boole]] pour la [[logique classique]] : un modèle formel permettant d'en fixer le ...aine, [[Saul Kripke]] a montré en 1965 que toute équation dans une algèbre de Heyting est [[Décidabilité|décidable]]<ref>{{Ouvrage|langue=Anglais|auteur1 ...6 kio (1 044 mots) - 17 mai 2022 à 21:23
- ...1 et 0 par convention, afin que B = {0, 1}. [[Paul Halmos]] a nommé cette algèbre « '''2''' », celle-ci a été utilisée en littérature, et sera utilisée ici. ''B'' est un [[ensemble partiellement ordonné]] et les éléments de ''B'' sont aussi ses [[partie bornée]]. ...7 kio (1 196 mots) - 18 octobre 2024 à 13:22
- |+Table de vérité ...est un [[opérateur logique]] de l'[[algèbre de Boole (logique)|algèbre de Boole]]. À deux [[opérande]]s, qui peuvent avoir chacun la valeur VRAI ou FAUX, i ...3 kio (465 mots) - 6 mars 2025 à 18:14