Aljèb Boole (estrikti)

Depi Wikipedya, ansiklopedi lib
Sauter à la navigation Sauter à la recherche

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[edite | modifye sous]

Lyen deyò[edite | modifye sous]

  • 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.