GEN420 - Mathématiques des circuits logiques

Cible(s) de formation

Modéliser et résoudre un problème de logique combinatoire et séquentielle à l’aide de représentations mathématiques de l'information discrète et par la synthèse des équations booléennes. Modéliser l'information discrète et son évolution temporelle. Déterminer les structures de données et les algorithmes appropriés pour les mettre en œuvre.

Contenu

Représentations des nombres et de l’information discrète. Propositions logiques et opérateurs. Les relations et leurs représentations. Axiomes et théorèmes de l'algèbre de Boole. Minimisation algébrique, mintermes et maxtermes, tables de Karnaugh. Définition des machines à états finis (automates), tables d’états et transitions, diagrammes d’états transitions, encodage des états. Machines à états finis de formes de Moore et de Mealy. Détermination des équations booléennes de transition et de sortie.

Préalable(s)

Avoir obtenu 37.00 crédits

---

* Sujet à changement