Admission
Requirements : M1 Logos
Application file :
L’étudiant devra choisir :
| Course | 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 |
| Category Theory | 4 |
| Bloc informatique | |
| Complexité Randomisée | 6 |
| Intelligence artificielle et théorie des jeux | 6 |
| Functional programming and formal proofs in Coq | 8 |
| Théories des calculs | 6 |
L'étudiant devra choisir 5 UE à 6 ECTS (au moins une UE dans chacun des trois blocs).
| Course | 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 |
| Classical Model Theory | 8 |
| Proofs and programs: classical tools | 8 |
| Computability : Classical tools | 8 |
| Bloc informatique | |
| Algorithmique des données massives | 3 |
| Deep learning | 3 |
| Mémoire | 18 |