| Property |
Value |
| dbo:abstract
|
- 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é. Pour tout ensemble, l'ensemble de ses parties est une algèbre de Boole, l'ordre associé étant l'inclusion et les lois d'anneau la différence symétrique et l'intersection. Un autre exemple est donné par l'ensemble des formules du calcul propositionnel prises à équivalence (en logique classique) près (sur un nombre de variables de cardinal arbitraire), l'ordre associé étant la relation de conséquence logique et les lois d'anneau la disjonction exclusive et la conjonction. (fr)
- 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é. Pour tout ensemble, l'ensemble de ses parties est une algèbre de Boole, l'ordre associé étant l'inclusion et les lois d'anneau la différence symétrique et l'intersection. Un autre exemple est donné par l'ensemble des formules du calcul propositionnel prises à équivalence (en logique classique) près (sur un nombre de variables de cardinal arbitraire), l'ordre associé étant la relation de conséquence logique et les lois d'anneau la disjonction exclusive et la conjonction. (fr)
|
| dbo:namedAfter
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 26561 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1993 (xsd:integer)
- 2009 (xsd:integer)
|
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:lienAuteur
|
- Paul Halmos (fr)
- René Cori (fr)
- Paul Halmos (fr)
- René Cori (fr)
|
| prop-fr:nom
|
- Cori (fr)
- Givant (fr)
- Halmos (fr)
- Lascar (fr)
- Cori (fr)
- Givant (fr)
- Halmos (fr)
- Lascar (fr)
|
| prop-fr:numéroChapitre
| |
| prop-fr:pagesTotales
| |
| prop-fr:prénom
|
- Paul (fr)
- Daniel (fr)
- René (fr)
- Steven (fr)
- Paul (fr)
- Daniel (fr)
- René (fr)
- Steven (fr)
|
| prop-fr:référence
|
- Référence:Logique mathématique 1 (fr)
- Référence:Logique mathématique 1 (fr)
|
| prop-fr:série
|
- Undergraduate Texts in Mathematics (fr)
- Undergraduate Texts in Mathematics (fr)
|
| prop-fr:titre
|
- Introduction to Boolean Algebras (fr)
- Logique mathématique I. Calcul propositionnel, algèbres de Boole, calcul des prédicats (fr)
- Introduction to Boolean Algebras (fr)
- Logique mathématique I. Calcul propositionnel, algèbres de Boole, calcul des prédicats (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- 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é. (fr)
- 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é. (fr)
|
| rdfs:label
|
- Algèbre de Boole (structure) (fr)
- Boolean algebra (structure) (en)
- Булева алгебра (ru)
- Булева алгебра (структура) (uk)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:domain
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:champs
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
