Algèbre de Boole.

Slides:



Advertisements
Présentations similaires
3. Logique et mathématiques De la logique aux mathématiques.
Advertisements

Vecteurs Le plan est muni d’un repère (O, I, J)
I. Bases de logique , théorie des ensembles
CHAPITRE 2 Nombres entiers, initiation à l’arithmétique- Nombres rationnels.
CHAPITRE 4 Nombres complexes.
Nombres réels et propriétés de R CHAPITRE 3. Fractions : développements décimaux le point de vue « concret » (hérité de lenseignement primaire)
Algèbre de Boole Définitions :
La Logique Issus de l'algèbre de Bool (mathématicien Anglais ), seuls deux états sont utilisés : Etat « 0 » = abscence, faux Etat « 1 » =
Vers une interprétation « concrète »
Calcul propositionnel
Système formel Nous avons introduit : signes de variables (x, y, z, …), de constantes (0, 1), d’opérations (+, ), de relations (=, ) Axiomes : ce sont.
Nicolas Bourbaki.
Architecture de machines Eléments de logique
Nombre de chaînes de longueur r
ALGEBRE DE BOOLE Mohamed Yassine Haouam
Cours Systèmes logiques
Identités remarquables
Eléments d ’algèbre relationnelle
ASI 3 Méthodes numériques pour l’ingénieur
Graphes Conceptuels J.F. Baget Inria.
Algèbre de Boole et les Boucles
Programmation logique Logique des prédicats du premier ordre
ASI 3 Méthodes numériques pour l’ingénieur
Algèbre vectorielle Montage préparé par : André Ross
1.2 COMPOSANTES DES VECTEURS
Calcul Intégral Au XVIIIème siècle, les mathématiciens progressent dans deux domaines séparés : les problèmes des tangentes (et la longueur des arcs) et.
Chapitre 3bis Applications linéaires et Matrices
Distance d’un point à une droite
Espaces vectoriels Montage préparé par : S André Ross
Code des opérateurs Appartenance à une liste ( appartient_l ) –Prototype: Bool appartient_l(type_el x, liste L) –Pré-conditions: aucunes. –Post-conditions:
Inéquations du 1er degré
E Théorème H de Boltzmann (version quantique) Hamiltonien en MQ :
CALCUL FRACTIONNAIRE.
6.1 LE LANGAGE MATRICIEL Cours 16. Aujourdhui, nous allons voir La définition dune matrice Plusieurs définitions de matrice particulière La somme de matrices.
1.1 LES VECTEURS GÉOMÉTRIQUES
3.2 PRODUIT VECTORIEL Cours 7.
Suites Numériques.
Transformations linéaires et sous-espaces associés
Équations Logiques État Physique État Électrique État Logique L
Calcul instrumenté (on utilise une calculatrice ou un tableur)
Cours de mathématiques économiques
Chapitre 3 :Algèbre de Boole
Logique combinatoire M. Delebecque. Logique combinatoire M. Delebecque.
Théorie du point fixe 1. Rappel Ensemble ordonné Majorant, Minorant
LOGIQUE MATHEMATIQUE et ENSEMBLES
8.1 LES NOMBRES COMPLEXES cours 26. Avec la venue de: Doigts Dettes Tartes Distances.
Micro-intro aux stats.
1 Licence d’informatique Algorithmique des graphes Cours 7 : Graphes valués Chemins de valeur optimale Algorithme de Bellmann-Kalaba Utilisation de ce.
Modèles d’entrelacement
Équations de plans.
20- Racine carrée Racine carré d’un nombre positif
Programmation fonctionnelle Preuve
Chapitre 3: Translation et Vecteurs
L’algèbre By: Mathieu Anndréa Darianne. Propriétés des exposants 1)a m  a n = a m+n Exemple #1: 2 4  2 5 = 2 9 #2: 7 -2  7 -6 = = 7 4 2) a m.
201-NYCALGÈBRE LINÉAIREET GÉOMÉTRIE VECTORIELLE
ASI 3 Méthodes numériques pour l’ingénieur
Algèbre de Boole Définition des variables et fonctions logiques
UE MAREP Cours 1 : Algèbre de Boole et entiers naturels
Structure de groupe Def: un groupe est un ensemble (G,*) où
Chapitre 7 : Calcul littéral.
Note pour le quiz de 5% le 6 septembre..
LOGIQUE ET PROGRAMMATION LOGIQUE
Opérations sur les nombres relatifs
1.1 LES VECTEURS GÉOMÉTRIQUES
A. Lebrun. L’informatique La couche physique d’un ordinateur nécessite la construction d’opérateurs logiques dont la description relève de l’algèbre de.
Chap. 3 Récursion et induction. Les définitions par récurrence consistent à construire des objets finis, à partir d'autres, selon certaines règles. Les.
9e Maths: Les polynômes Mme Mercer.
Courbes Bsplines uniformes
Relation de conséquence logique Nous avons vu une relation entre formules: l’équivalence tautologique (  ) Nous allons définir une nouvelle relation,
MATHÉMATIQUES L1 Second Semestre Armand Taranco. BIBLIOGRAPHIE Dupont : Algèbre pour les sciences économiques, Flash U, A. Colin. Bernard Guerrien, Isabelle.
Transcription de la présentation:

Algèbre de Boole

1)Définition + et . sont associatives et commutatives Ø Soit B un ensemble muni de deux opérations internes + et . on dit que (B,+,.) est une algèbre de Boole si + et . sont associatives et commutatives + admet un neutre 0 et . admet un neutre 1 . est distributive sur + et + est distributive sur . tout élément a de B admet un complémentaire dans B tel que et

1)Définition  Soit B un ensemble muni de deux opérations internes + et . on dit que (B,+,.) est une algèbre de Boole si + et . sont associatives et commutatives + admet un neutre 0 et . admet un neutre 1 . est distributive sur + et + est distributive sur . tout élément de B admet un complémentaire dans B tel que et

Ø (  ,  ,  ) est une algèbre de Boole avec non , vrai , faux 2) Exemples Ø (  ,  ,  ) est une algèbre de Boole avec non , vrai , faux ( (E) ,  ,  ) est une algèbre de Boole avec complémentaire ,  , E si E =  a  alors B =   , E  avec ,  et  est une algèbre de Boole donc B =  0 , 1  avec + et . est une algèbre de Boole

2) Exemples   (  ,  ,  ) est une algèbre de Boole avec non , faux, vrai ( (E) ,  ,  ) est une algèbre de Boole avec complémentaire ,  , E si E =  a  alors B =   , E  avec ,  et  est une algèbre de Boole donc B =  0 , 1  avec + et . est une algèbre de Boole

3)Propriétés b) a + a = a et a a = a c) absorption a + a b = a et a (a + b ) = a d) théorèmes de Morgan et remarque : et e) et et

3)Propriétés a) a + 1 = 1 et a 0 = 0 b) a + a = a et a a = a c) absorption a + a b = a et a (a + b ) = a d) théorèmes de Morgan et   remarque : et e) et et