Formation indisponible à l'heure actuelle
Mathématiques pour l'informatique approfondissement (Automates, codes, graphes et matrices)
Formation
À Montpellier ()
Description
-
Typologie
Formation
Missions, moyens et organisation
Le Cnam est placé sous la présidence de Jean-Paul Herteman, P-DG du groupe Safran, et dirigé par Olivier Faron.
Il remplit trois missions principales:
la formation professionnelle supérieure tout au long de la vie,
la recherche technologique et l'innovation,
la diffusion de la culture scientifique et technique.
Le Cnam offre des formations développées en étroite collaboration avec les entreprises et les organisations professionnelles afin de répondre au mieux à leurs besoins et à ceux de leurs salariés. Cette UE apparaît dans les diplômes et certificats suivants : Entrée
DUT12p1 Diplôme universitaire de technologie Informatique
Centres d'enseignement Entrée
LG025p1 Licence Sciences, technologies, santé, parcours mention informatique générale
Centres d'enseignement Public et conditions d'accès Avoir l'habitude des notations et des raisonnements mathématiques.
Les Avis
Les matières
- Automates
Le programme
Matrices à coefficients numériques, à coefficients binaires, à coefficients modulo 2.
Opérations sur les matrices : somme et produit.
Automates finis
Alphabet, mots, langages.
Opérations sur les langages : somme, produit, étoile.
Langages réguliers.
Automates finis déterministes, états, fonction de transition, langage d'un automate.
Automates finis non déterministes, automates finis non déterministes avec transition spontanée.
Déterminisation d'un automate.
Construction d'automates finis, théorème de Kleene, simplification des automates finis.
Codes détecteurs et codes correcteurs
Distance de Hamming, erreur de transmission, codage par blocs, correction et détection.
Codages linéaires, représentation matricielle, tableau standard, syndromes, codes cycliques.
Graphes
Graphes orientés, graphes non orientés, degré chemins circuits, cycles, représentations matricielles.
Arbres, racine, arbres binaires, codes de Huffman.
Modalités de l'évaluation 2 sessions d'examen
Bibliographie
- J. Vélu : Méthodes mathématiques pour l'informatique (Editions Dunod, 2000).
- J.Vélu, G.Averous, I.Gil, F.Santi : Exercices corrigés de Mathématiques pour l'Informatique (Dunod) sep 2008
Mathématiques pour l'informatique approfondissement (Automates, codes, graphes et matrices)