Admission
Prérequis : M1 Logos
Dossier :
L’étudiant devra choisir :
Module | ECTS |
---|---|
Bloc Philosophie des Sciences | |
Philosophie de la connaissance | 6 |
History of linguistic theories | 6 |
Bloc linguistique | |
Discourse and dialogue | 6 |
Semantics and pragmatics | 6 |
Machine learning for NLP2 | 12 |
Blocs méthodologiques I | 6 |
Bloc logique | |
Logique | 9 |
Calculabilité et incomplétude | 8 |
Théorie des modèles | 4 |
Théorie de la démonstration | 4 |
Théorie des Catégories | 4 |
Bloc informatique | |
Complexité Randomisée | 6 |
Intelligence artificielle et théorie des jeux | 6 |
Programmation fonctionnelle et preuves formelles en Coq | 8 |
Théories des calculs | 6 |
L'étudiant devra choisir 5 UE à 6 ECTS (au moins une UE dans chacun des trois blocs).
Module | ECTS |
---|---|
Bloc Philosophie des Sciences | |
Philosophie des mathématiques | 6 |
Mathématiques non spécialistes | 6 |
Bloc linguistique | |
Advanced theoretical syntax | 6 |
Advanced experimental syntax | 6 |
Advanced semantics pragmatics | 6 |
Syntax, semantics, discourse 2 | 6 |
Bloc logique | |
Théorie des ensembles : Outils classiques | 8 |
Théorie des modèles : Outils classiques | 8 |
Preuves et programmes : Outils classiques | 8 |
Calculabilités : Outils classiques | 8 |
Bloc informatique | |
Algorithmique des données massives | 3 |
Deep learning | 3 |
Mémoire | 18 |