Cette page concerne le cours Automates et circuits (UE ENSIN2U2) en Licence Informatique au semestre 4 (L2 Info) à l'UFR Sciences de AMU, dans lequel j'interviens pour un groupe de TD sur le site de Luminy. Arnaud Labourel est responsable de cette UE.

Objectifs :

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.

Contenus :

  • 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

Prérequis :

Aucun

Page Ametice du cours

Contient les slides du cours, les sujets de TD et de TP.

Contact

  • E-mail : benjamin.monmege at lif.univ-mrs.fr
  • Page web : http://pageperso.lif.univ-mrs.fr/~benjamin.monmege/
  • Adresse : Laboratoire d'Informatique Fondamentale
    Parc Scientifique de Luminy
    163 avenue de Luminy - Case 901
    F-13288 Marseille Cedex 9, France
    Bureau: 613 (bâtiment TPR1, 6ème étage, entrée G)
    Téléphone: +33 (0)4 91 82 93 70
    Fax: +33 (0)4 91 82 92 75