Structure Machine 2

Présentation du cours:

Ce cours est destiné essentiellement aux étudiants de 1ère année Licence Mathématiques-Informatique.

L'algèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions. Elle fut lancée en 1854 par le mathématicien britannique George Boole. Aujourd'hui, l'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques (Portes logiques).

Objectifs:

• Connaitre les lois fondamentales de l’algèbre de Boole ainsi que les deux théorèmes de De Morgan.
• Savoir définir les trois opérations de base : Négation, ET (intersection), OU (union).
• Connaître la table de vérité de chacune de ces opérations et leur porte logique.
• Savoir dresser la table de vérité d’une fonction logique et savoir l’implanter.
• Savoir donner une définition sous forme algébrique ou d’une table de vérité des opérations NON-OU, OU exclusif et NON-ET.
• Savoir simplifier algébriquement une fonction logique.