GEN265 - Mathématiques discrètes II

Cible(s) de formation

Modéliser l'information discrète en logique séquentielle et déterminer les structures de données et les algorithmes appropriés pour les implémenter de manière efficiente par la programmation ou par circuits de logique séquentielle.

Contenu

Définition des machines à états finis (automates), tables d’états et transitions, digraphes, 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.

Une portion de cette activité pédagogique est consacrée à la réalisation du projet de conception de session prévu au programme.

Préalable(s)

Avoir obtenu 9.00 crédits

---

* Sujet à changement