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 |