Article de référence | Réf : AF118 v1

Algèbre de Boole

Auteur(s) : Jean VUILLEMIN

Date de publication : 10 oct. 2010

Pour explorer cet article
Télécharger l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !

Sommaire

Présentation

RÉSUMÉ

L'algèbre de Boole est une structure mathématique se rapportant à la manipulation des propositions et variables logiques à travers des équations. Les énoncés VRAI et FAUX y sont représentés par des valeurs binaires, tandis que les termes ET et OU deviennent des opérateurs de multiplication et d’addition. L'algèbre de Boole est au cœur de la logique mathématique, de la théorie des ensembles et de la théorie de l'information. Elle est utilisée aussi bien en mathématiques qu'en physique, et veille également aux fondements de l’informatique. Aujourd'hui les applications sont nombreuses, notamment en électronique et en télécommunications.

Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.

Lire l’article

ABSTRACT

Boolean algebra is a mathematical structure related to the usage of propositions and logical variables through equations. The TRUE and FALSE statements are represented by binary values and the terms AND and OR have become mutiplication and addition operators. Boolealn algebra is at the core of mathematical logic, the set theory and the information theory. It is used both in mathematics and physics and is also at the basis of IT. Its applications are numerous, notably in electronics and telecommunications

Auteur(s)

  • Jean VUILLEMIN : Professeur d'informatique à l'École normale supérieure

INTRODUCTION

Le livre An Investigation of the Laws of Thought de George Boole donne les règles de ce qu'on appelle l'algèbre de Boole. Depuis 1854, le sujet a trouvé d'importantes applications, en mathématiques d'abord, puis en physique, en informatique et dans les télécommunications. L'algèbre de Boole fait maintenant partie des fondements théoriques de toutes ces disciplines. L'évaluation massive de formules booléennes, des milliards de fois chaque nanoseconde, par des puces électroniques, est l'une des clés de notre brave nouveau siècle numérique. La vérification automatique de formules booléennes massives (des millions de portes) est une autre clé dans la conception fiable de divers systèmes numériques critiques.

Cet article est réservé aux abonnés.
Il vous reste 94% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

DOI (Digital Object Identifier)

https://doi.org/10.51257/a-v1-af118


Cet article fait partie de l’offre

Mathématiques

(202 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Lecture en cours
Présentation

Cet article est réservé aux abonnés.
Il vous reste 94% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Mathématiques

(202 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Sommaire
Sommaire

BIBLIOGRAPHIE

  • (1) - KNUTH (D.E.) -   The Art of Computer Programming  -  Volume 4, sections 7.1.3 « Bitwise Tricks and Techniques » et 7.1.4 « Binary Decision Diagrams » (2008).

Cet article est réservé aux abonnés.
Il vous reste 94% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Mathématiques

(202 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS