Ensembles Ordonnés Treillis et Algebre de Boole et leurs utilisation dans les représentations des fonctionnements des systémes

Abstract

Les théorie des treillis et algébre de boole dans leur histoire sont liées aux problémes de représentations et algorithmes l algébre de boole de son départ c etait la recherche d un algorithme permettant la traduction des raisonnements logique à des calculs purement al- gébrique. Dans ce travail la premiére constatation qui puisse être tirée est que les ensembles ordon- nés les treillis et l algebre de bool est un outille convenable pour l étude et le développement des di¤érentes représentation de fonctionnement des systémes. Par ailleur comme le fonctionnement d un même systéme peut être représenter par plusieurs façons (i.e ils désignent tous le même objet). Il y a la question de réaliser des isomorphisme entre les di¤érentes représentations de fonctionnement d un systéme vue comme ensembles ordonnés treillis ou algébre de boole (anneau de boole