1. Motivations et contexte
1.1 Motivations
L'algèbre de Boole est au cœur de la logique mathématique, de la théorie des ensembles, de la théorie de l'information, des algorithmes et de leur complexité.
-
Calcul des prédicats
Le calcul des propositions (« the Laws of Thought ») donne un langage et des règles pour formaliser les raisonnements intuitifs élémentaires. Une proposition est une formule dont on sait évaluer la valeur de vérité (vrai ou faux) à partir des valeurs de vérité données aux variables d'entrée x 1 , x 2 ,…, x...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Motivations et contexte
Théorie
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Mathématiques"
(
228 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
