Descriptif
Ce cours (ACCQ partie I et II) approfondira sous l’'angle algorithmique les notions de base d’'algèbre et d’'arithmétique utilisées pour leurs applications aux télécommunications et à l'’informatique. Il passera en revue : la théorie des modules sur un anneau (leur structure, la réduction de Hermite et de Smith d’une matrice, invariants de similitude, étude des suites linéaires récurrentes - LFSR) la théorie des réseaux euclidiens (liens avec des problèmes arithmétiques classiques et le codage, algorithme de réduction LLL) factorisation des polynômes tests de primalité, factorisation des entiers, log discret manipulation de systèmes d’'équations polynomiales (bases de Groebner) introduction à diverses questions de complexité algébrique (produits de polynômes ou de matrices).Objectifs pédagogiques
Acquis d'apprentissage À l'issue de ce module, l'élève sera capable de: \- Représenter des éléments mathématiques sophistiques (corps finis, polynômes, réseaux euclidiens) comme objets informatiques \- Conduire des calculs d'algèbre linéaire lorsque les scalaires proviennent d'un anneau principal \- Calculer un base LLL réduite d'un réseau \- Factoriser un polynôme à coefficient entier ou dans un corps fini \- Manipuler des idéaux de polynômes à travers des bases de Groebner. Compétences de rattachement (et justification) \- BC1.3 – Elaborer une ou plusieurs solutions technologiques, en s’appuyant sur la modélisation théorique et la méthode scientifique de manière à faire ressortir la pertinence desdites solutions permettant une prise de décision; Justification : Les choix des contenus thématiques du cours sont fixés en fonction des besoins des technologies contemporaines. \- BC5.1 – Modéliser mathématiquement une situation, des données, des phénomènes physiques dans le contexte du numérique; Justification : Des petits exercices d'application montrent comment diverses situations pratiques peuvent être traitées par les théories mathématiques étudiées dans ce cours \- BC10.2 – Analyser et résoudre des problèmes mathématiques et algorithmiques nécessaires dans des étapes de réalisation d’un projet en s’appuyant, si besoin est, sur des simulations et dans l’objectif d’implémenter des solutions compétitives; Justification : La démarche d'implémentation systématique des mathématiques étudiées force à se pencher sur l'analyse des différentes étapes de résolution \- BC10.3 – Analyser une résolution par des approches formelles ou mathématiques; Justification : Chaque TP contient une partie critique et réflexive sur les algorithmes qui ont été implémentés.
24 heures en présentiel
20 heures de travail personnel estimé pour l’étudiant.
Diplôme(s) concerné(s)
Format des notes
Numérique sur 20Pour les étudiants du diplôme M1 FODQ - Maj. QMI - Quantique, Mathematiques, Informatique
Le rattrapage est autorisé (Note de rattrapage conservée)- le rattrapage est obligatoire si :
- Note initiale < 7
- le rattrapage peut être demandé par l'étudiant si :
- 7 ≤ note initiale < 10
- Crédits ECTS acquis : 5 ECTS
La note obtenue rentre dans le calcul de votre GPA.
