Mathématiques pour l'informatique approfondissement (Automates, codes, graphes et matrices)

Code
MVA004

Description

Matrices
Matrices à coefficients numériques, à coefficients binaires, à coefficients modulo 2.
Opérations sur les matrices : transposition, 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.

Finalité

Apprendre les automates finis, les codes détecteurs, les codes correcteurs.

Aborder la notion de matrice et celle de graphes.

Compétences visées

Savoir formaliser une méthode de calcul.

Lors d'un transfert d'informations savoir détecter voire corriger si nécessaire, les erreurs de transmissions.

 

Description des modalités d'évaluation

2 sessions d'examen

Public

Connaitre la théorie des ensembles (définitions et première propriétés) et les probabilités combinatoires.

Avoir l'habitude des raisonnements mathématiques.

Nombre d’ECTS
6
Durée en nombre d'heures
60.00
Type de notation
Notation chiffrée (sur 20)
Moyenne pour valider l'UE
10.00
Modalité(s) d'évaluation
Examen final
Année de création
2017
Date de fin de validité
Déployabilité
Offre déployable dans le réseau en cas d'agrément
Examen national
Oui
Blocs de compétences

Cette unité fait partie du/des bloc(s) de compétences suivant(s).

Contactez-nous au sujet de cette unité