Mathématiques pour l'informatique approfondissement (automates, codes, graphes et matrices)
Formation
À Paris Cédex 03
Avez-vous besoin d'un coach de formation?
Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.
Description
-
Typologie
Formation
-
Lieu
Paris cédex 03
-
Dates de début
Dates au choix
Objectifs pédagogiques Apprendre les automates finis, les codes détecteurs, les codes correcteurs. Assimiler la notion de matrice et aborder celle de graphes.
Les sites et dates disponibles
Lieu
Date de début
Date de début
Les Avis
Les matières
- Automates
Le programme
Contenu
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é 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
Avez-vous besoin d'un coach de formation?
Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.
Mathématiques pour l'informatique approfondissement (automates, codes, graphes et matrices)