L'unité d'enseignement i3
« Automates et circuits »

Compléter les notions logiques de base. Introduire la logique booléenne et les circuits comme base du calcul informatique. Comprendre la représentation de toute donnée codée sur l'ordinateur. Introduire l'automate déterministe comme modèle de systèmes informatiques. Modéliser les systèmes réactifs par automates.

• Ensembles, fonctions, relations, quotient d'une relation.
• Ordres, treillis, algèbre de Boole.
• Fonctions booléennes, circuits combinatoires.
• Codage (bases, numération, caractères), codes correcteurs.
• Machines de Mealy, machines de Moore ; minimisation d'une machine.