Diplômes concernés
Composition du parcours
-
CSC_5DA07_TP APM_5DA01_TP CSC_52P01_EP CSC_54601_PS FMA_52060_PS FMA_52061_PS
v2.11.0 (6225)
- Accueil
| UE | Type d'enseignement | Domaines | Catégorie d'UE | Volume horaire | Responsables | Site pédagogique |
|---|---|---|---|---|---|---|
| APM_5DA01_TP Foundations of Multi-Agent Systems Verification | Cours scientifiques | |||||
| CSC_5DA07_TP Collective Intelligence | Cours scientifiques | 24 | ||||
| CSC_52P01_EP Projet informatique en Calcul Quantique | Programme d'approfondissement | Informatique | UE de projet, UE d'approfondissement. | Titouan CARETTE | ||
| CSC_54601_PS Calculabilité, Complexité, Modèles de Calcul | Cours scientifiques | Informatique | 28 | |||
| FMA_52060_PS Logique | Cours scientifiques | Mathématiques | 50 | |||
| FMA_52061_PS Lambda-calcul et catégories | Cours scientifiques | Mathématiques | 48 |
