Mathématiques pour l'informatique approfondissement (Automates, codes, graphes et matrices)
Code UE : MVA004
- Cours
- 6 crédits
Responsable(s)
Isabelle GIL
Public et conditions d'accès
Avoir l'habitude des notations et des raisonnements mathématiques.
Objectifs pédagogiques
Apprendre les automates finis, les codes détecteurs, les codes correcteurs. Assimiler la notion de matrice et aborder celle de graphes.
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.
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
Cette UE apparaît dans les diplômes et certificats suivants
Rechercher une formation
RECHERCHE MULTI-CRITERES
Plus de critères de recherche sont proposés:
-
Vous pouvez sélectionner des formations grâce à un mot ou à une expression (chaîne de caractères) présent dans l’intitulé de la formation, sa description ou ses index (discipline ou métier).
Des mots-clés sont suggérés à partir du 3e caractère saisi, mais vous pouvez aussi rechercher librement. - Les différents items sélectionnés sont croisés.
ex: "Comptabilité" et "Diplôme" - Les résultats comprennent des formations du Cnam Liban (UE, diplômes, certificats, stages) et des formations proposées à distance par d'autres centres du Cnam.
- Les codes des formations du Liban se terminent par le suffixe LIB.
- Dans tous les cas, veillez à ne pas insérer d'espace ni de ponctuation supplémentaire.
Plus de critères de recherche sont proposés:
- Type de diplôme
- Niveau d'entrée
- Modalité de l'enseignement
- Programmation semestrielle
Chargement du résultat...

Intitulé de la formation |
Type |
Modalité(s) |
Lieu(x) |
|
---|---|---|---|---|
Intitulé de la formation
Diplôme Universitaire de Technologies Informatique
|
Lieu(x)
À la carte
|
Lieu(x)
Ile-de-France
|
||
Intitulé de la formation
Licence informatique
|
Lieu(x)
À la carte
|
|||
Intitulé de la formation
Licence informatique
|
Lieu(x)
Alternance
|
|||
Intitulé de la formation | Type | Modalité(s) | Lieu(x) |
Contact
EPN06 Mathématiques et statistiques
2 rue conté Accès 35 3 ème étage porte 19
75003 Paris
Sabine Glodkowski
2 rue conté Accès 35 3 ème étage porte 19
75003 Paris
Sabine Glodkowski
Voir le site
Voir les dates et horaires, les lieux d'enseignement et les modes d'inscription sur les sites internet des centres régionaux qui proposent cette formation
UE
-
-
Paris
-
Centre Cnam Paris
- 2019-2020 2nd semestre : Présentiel soir ou samedi
- 2020-2021 2nd semestre : Présentiel soir ou samedi
- 2021-2022 2nd semestre : Présentiel soir ou samedi
-
Centre Cnam Paris
-
Paris
-
-
Centre Val-de-Loire
-
Centre Val-de-Loire
Comment est organisée cette formation ?
Organisation de la modalité FOAD 100%
:Planning
2ème semestre
- Date de démarrage : 02/03/2020
- Date limite d'inscription : 27/04/2020
- Regroupements facultatifs : aucun
- Date de 1ère session d'examen : 11/06/2020
- Date de 2ème session d'examen : 02/09/2020
Accompagnement
- Plateforme Moodle
- Chat
- Forum
- Messagerie intégrée à la plateforme
- Classe virtuelle
Ressources mises à disposition de l'auditeur
- Documents de cours
- Documents d'exercices, études de cas activités
Modalités de validation
- Examen sur table
-
Centre Val-de-Loire
-
Centre Val-de-Loire
-
-
Liban
-
Liban
- 2019-2020 1er semestre : Présentiel soir ou samedi
- 2020-2021 1er semestre : Présentiel soir ou samedi
- 2021-2022 1er semestre : Présentiel soir ou samedi
-
Liban
-
Liban
Code UE : MVA004
- Cours
- 6 crédits
Responsable(s)
Isabelle GIL