Méthodologie de la programmation - séance a

Méthodologie de la programmation
Pablo Rauzy
pablo rauzy @ univ-paris8 fr
pablo.rauzy.name/teaching/mdlp
UFR MITSIC / L1 informatique
Séance a
Un peu de logique
Pablo Rauzy (Paris 8 / LIASD) Méthodologie de la programmation Séance a 1 / 35

Un peu de logique
Pablo Rauzy (Paris 8 / LIASD) Méthodologie de la programmation Séance a 2 / 35

Algèbre de Boole
IL’algèbre de Boole, ou calcul booléen, ou logique booléenne, est une approche
algébrique de la logique, vu en terme de variables, d’opérateurs et de fonctions,
particulièrement utile en informatique.
IElle fut initiée en 1854 par le mathématicien britannique George Boole.
IOn s’intéresse aujourd’hui seulement au cas avec deux éléments.
Pablo Rauzy (Paris 8 / LIASD) Méthodologie de la programmation Séance a 3 / 35

Valeurs booléennes
IOn appelle Bl’ensemble constitué des deux valeurs de vérité,vrai et faux.
ILe plus souvent on note
•B={>,⊥}, ou
•B={1,0}.
Pablo Rauzy (Paris 8 / LIASD) Méthodologie de la programmation Séance a 4 / 35

Opérations
IOn définit plusieurs opérations de base sur B:
•la conjonction,
•la disjonction, et
•la négation.
Pablo Rauzy (Paris 8 / LIASD) Méthodologie de la programmation Séance a 5 / 35