GEN420 - Mathématiques des circuits logiques

programmes offrant cette activité pédagogique (cours)

Baccalauréat en génie informatique

Baccalauréat en génie électrique

Sommaire

Cycle
1er cycle
Crédits
2 crédits
Durée
1 trimestre
Faculté/Centre
Faculté de génie
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 crédits