Les systèmes logiques - dont les variables appartiennent à des ensembles finis - sont largement utilisés en Automatique et en Informatique. En effet, en Automatique (science de la commande des systèmes couplés au monde extérieur), on peut classer les systèmes selon la nature de l'information qu'ils reçoivent et qu'ils traitent : - systèmes soumis à des signaux naturellement discrétisés, telles les commandes numériques de machines-outils, - systèmes acceptant des signaux analogiques; c'est le cas de la plupart des procédés industriels. Pour ces derniers, lorsque la complexité du procédé est grande et si l'on cherche à optimiser son fonctionnement autrement que de façon subjective, il apparaît nécessaire de faire appel à l'ordinateur. Celui-ci traite des données discrétisées et est donc constitué d'un ensemble de systèmes logiques. Cet ouvrage constitue une introduction à la logique combinatoire et à l'étude des systèmes logiques. Il présente les outils de base et les méthodes formelles permettant de traiter les problèmes essentiels rencontrés depuis la définition d'un système jusqu'à sa réalisation. "Logique combinatoire" est consacré à l'étude de systèmes dont l'évolution dépend à chaque instant uniquement des valeurs des variables auxquelles il est soumis. Un deuxième volume, intitulé "Logique séquentielle", qui traite des systèmes dont le comportement est fonction non seulement des variables d'entrée appliquées à un instant donné mais aussi de ses évolutions passées, le complète.
