Master
Master — Master Informatique — Programmation fonctionnelle et vérification
Programme du master Master Informatique — Programmation fonctionnelle et vérification. Contenu généré à partir de la taxonomie des savoirs et du référentiel d'UE.
M1 — Première année de master — Approfondissement disciplinaire et méthodologique
Optimisation et programmation linéaire
- algorithme
- boucle
- recherche
- tri
- performance
- théâtre postdramatique
Génie logiciel et tests
- système d'exploitation
- processus
- test
- débogage
- liste chaînée
- pile
- Von Neumann
- processeur
Bio-informatique
- informatique
- algorithme
- donnée
- complexité
- abstraction
- automatisation
Cryptographie
- POO
- classe
Traitement du signal
- traitement
- signal
- algorithme
- donnée
- complexité
- abstraction
- automatisation
Apprentissage automatique
- apprentissage
- automatique
- algorithme
- donnée
- complexité
- abstraction
- automatisation
Approfondissement : Programmation et génie logiciel
- programmation
- génie
- logiciel
- arbre
- code
- grammaire
- génération
- langage
M2 — Deuxième année de master — Spécialisation et préparation à la professionnalisation ou à la thèse
Cybersécurité
- cybersécurité
- algorithme
- donnée
- complexité
- abstraction
- automatisation
Traitement automatique des langues
- traitement
- automatique
- langues
- algorithme
- donnée
- complexité
- abstraction
- automatisation
Bio-informatique (M2)
- informatique
- algorithme
- donnée
- complexité
- abstraction
- automatisation
Intelligence artificielle (M1)
- intelligence
- artificielle
- algorithme
- donnée
- complexité
- abstraction
- automatisation
Spécialisation : Programmation et génie logiciel
- programmation
- génie
- logiciel
- arbre
- code
- grammaire
- génération
- langage
Séminaire de recherche — formel
- séminaire
- lecture critique
- état de l'art
- présentation
Sources : https://data.enseignementsup-recherche.gouv.fr — Cadre national MESRI · https://www.trouvermonmaster.gouv.fr