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.