Aller au contenu

Aljèb Boole (estrikti)

Depi Wikipedya, ansiklopedi lib

Nan matematik, yon aljèb Boole, ou pafwa zanno Boole, se yon estrikti aljebrik etidye espesyalman nan lojik matematik. Yon aljèb Boole li ka defini swa kòm yon estrikti òdone patikilyè, swa kòm yon estrikti aljebrik patikilyè, swa kòm yon zanno (initè) ki gen eleman egal kare li yo.

Referans

[modifye | modifye kòd]

Lyen deyò

[modifye | modifye kòd]
  • René Cori; Daniel Lascar (1993). Logique mathématique I. Calcul propositionnel, algèbres de Boole, calcul des prédicats. .
  • Steven Givant; Paul Halmos (2009). Springer Verlag, ed. Introduction to Boolean Algebras - Undergraduate Texts in Mathematics. ISBN 978-0-387-40293-2. .
  • Daniel Ponasse, Logique mathématique, Chapitre V : Aspect algébrique – Structure d’anneau booléen, edisyon O.C.D.L., Pari, 1967.