| A | B | C | |
|---|---|---|---|
1 | Algorithmique (Algo) | ||
2 | Capacité d'accueil : 20 étudiants par année | ||
3 | S1 | ||
4 | Modules obligatoires | ||
5 | Code | Nom UE | Nb ECTS |
6 | HAI702I | Algèbre, géométrie, transformation, calcul numérique | 2 |
7 | HAI703L | Anglais S1 | 2 |
8 | HAI709I | Fondements cryptographiques pour la sécurité | 4 |
9 | HAI710I | Fondements de l'IA symbolique | 4 |
10 | HAI711I | Graphes : structures et algorithmes | 4 |
11 | HAI713I | Logique, calculabilité et complexité | 4 |
12 | HAI718I | Probabilités, statistiques | 2 |
13 | HAI720I | Programmation efficace d'algorithmes | 4 |
14 | HAI722I | Recherche opérationnelle | 4 |
15 | S2 | ||
16 | Modules obligatoires | ||
17 | Code | Nom UE | Nb ECTS |
18 | HAI802I | Algorithmique avancée | 4 |
19 | HAI805L | Anglais S2 | 2 |
20 | HAI807I | Calcul formel | 4 |
21 | HAI808I | Calculabilité | 4 |
22 | HAI816I | Logique pour le génie logiciel et l'IA | 4 |
23 | HAI820I | Recherche opérationnelle - compléments | 4 |
24 | HAI821I | Sécurité logicielle | 4 |
25 | HAI823I | TER | 4 |
26 | S3 | ||
27 | Modules obligatoires | ||
28 | Code | Nom UE | Nb ECTS |
29 | HAI904I | Algorithmique spécialisée | 4 |
30 | HAI906I | Calcul formel avancé et applications | 4 |
31 | HAI907I | Conférences | 2 |
32 | HAI910I | Contraintes | 4 |
33 | HAI915I | Graphes, algorithmique et complexité | 4 |
34 | HAI924I | Modèles de calculs avancés | 4 |
35 | HAI929I | RO industrielle | 4 |
36 | HAI934I | Vérification automatique de programmes | 4 |
37 | S4 | ||
38 | 1 module au choix parmi : | ||
39 | Code | Nom UE | Nb ECTS |
40 | HAI001I | Stage académique | 30 |
41 | HAI002I | Stage industriel | 30 |