MVA004 - Mathématiques pour l'informatique approfondissement (Automates, codes, graphes et matrices)  [ 6 crédits ]

Public Concerné

Avoir l'habitude des notations et des raisonnements mathématiques.

Organisation
6Crédits 
Contenu de la formation

Matrices
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 d'é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

Trouvez votre formation

Trouvez une Unité d'Enseignement

Contacter nos centres d'enseignements

02 18 69 18 30
Numéro régional, coût d'un appel local
Lundi : 14h - 18h
Du mardi au vendredi : 10h - 12h / 14h - 18h

Région

centre-region Chartres Orleans Bourges Chateauroux Tours Vierzon Blois

Documents à télécharger

Formation ALTERNANCE Modalités de cours VAE Formation à distance Espace numérique de formation CPF