accueil enseignements enseignants aide
2021-2022  
2022-2023  
2023-2024  
   Parcours MPRI

 
Parcours MPRI
 
 

MPRI - Algorithmique avancée [sep-dec] (0 étudiants)

 

MPRI - Fondements de l'information quantique [sep-dec] (0 étudiants)

 

MPRI - Algorithmique de graphe [sep-dec] (0 étudiants)

 

MPRI - Algorithmique probabiliste et jeux [sep-dec] (0 étudiants)

 

MPRI - Automates et applications [sep-dec] (0 étudiants)

 

MPRI - Combinatoire et calculs algébriques [sep-dec] (0 étudiants)

 

MPRI - Complexité, décidabilité, modèles de calculs [sep-dec] (0 étudiants)

 

MPRI - Introduction à la preuve déductive de programmes [sep-dec] (0 étudiants)

 

MPRI - Introduction aux assistants de preuve [sep-dec] (0 étudiants)

 

MPRI - Initiation à la recherche [sep-dec] (0 étudiants)

 

MPRI - Lambda-calcul [sep-dec] (0 étudiants)

 

MPRI - Langages de programmation et compilation [sep-dec] (0 étudiants)

 
 

Date: 17-04-2024 @ 02:32
accueil enseignements enseignants aide
2021-2022  
2022-2023  
2023-2024