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
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