SEMESTRE 1 (30 ECTS)
PRINCIPE DIRECTEUR POUR LE SEMESTRE
L’étudiant doit choisir :
- Philosophie des sciences (6 ECTS) – obligatoire
- 1 ou 2 UE de Linguistique (6 ECTS chacune)
- 1 combinaison de Logique (12 ou 18 ECTS selon l’option)
A) Bloc Philosophie des sciences
1 UE de 6 ECTS :
Code APOGÉE : PS0AE010 | Validation : CC + examen
Horaires hebdomadaires : 3h CM, 1h TD | Mutualisé avec : M1 HPS (Histoire et Philosophie des Sciences)
B) Bloc Linguistique
Choix de 1 ou 2 UE de 6 ECTS chacune parmi :
Cette UE se compose de deux parties : Syntax (3 ECTS) et Semantics (3 ECTS).
Syntax – Code APOGÉE : SL2AY060 | Validation : CC + examen
Horaires hebdomadaires : 1,5h CM, 1h TD | Mutualisé avec : M1 LI (Linguistique), TELP (MASL4)
Semantics – Code APOGÉE : SL2AY101 | Validation : CC + examen
Horaires hebdomadaires : 1,5h CM, 1h TD | Mutualisé avec : M1 LI (Linguistique), TELP (MASL4)
→ Descriptif complet Syntax | → Descriptif complet Semantics
Code APOGÉE : LCHAY010 | Validation : CC + examen
Horaires hebdomadaires : 1,5h CM | Mutualisé avec : M1 LI (Linguistique)
Code APOGÉE : SL5BE021 | Validation : CC + examen
Horaires hebdomadaires : 1,5h CM | Mutualisé avec : M1 LI (Linguistique)
(Cours en anglais)
C) Bloc Logique
Choix parmi :
Cette UE correspond à deux cours : Logique (9 ECTS) et Algorithmique (3 ECTS)
Logique – Code APOGÉE : MA4AY040 | Enseignant : Antoine Chambert-Loir
Horaires hebdomadaires : 3h CM, 4h TD | Validation : CC + examen | Mutualisé avec : M1 mathématiques (MFA)
Algorithmique – Code APOGÉE : MA4AY030 | Enseignants : Hervé Fournier et Bertrand Gentou
Volume horaire : 3h CM + 4h TD/TP pendant 4 semaines puis 1h TP pendant 8 semaines
Validation : CC + examen | Mutualisé avec : M1 mathématiques (MFA), M1 Mathématiques et Informatique, M1 MIC
→ Descriptif complet Logique | → Descriptif complet Algorithmique
Cette UE correspond à trois cours : Logique (9 ECTS), Algorithmique (3 ECTS) et Complexité (6 ECTS)
Logique – Code APOGÉE : MA4AY040 | Enseignant : Antoine Chambert-Loir
Horaires hebdomadaires : 3h CM, 4h TD | Validation : CC + examen | Mutualisé avec : M1 mathématiques (MFA)
Algorithmique – Code APOGÉE : MA4AY030 | Enseignants : Hervé Fournier et Bertrand Gentou
Volume horaire : 3h CM + 4h TD/TP pendant 4 semaines puis 1h TP pendant 8 semaines
Validation : CC + examen | Mutualisé avec : M1 mathématiques (MFA), M1 Mathématiques et Informatique, M1 MIC
Complexité – Code APOGÉE : MA6AY010 | Enseignants : Hervé Fournier et Bertrand Gentou
Volume horaire : 3h CM + 3h TD sur 8 semaines | Validation : CC + examen
Mutualisé avec : M1 mathématiques (MFA), M1 Mathématiques et Informatique, M1 MIC
→ Descriptif complet Logique | → Descriptif complet Algorithmique | → Descriptif complet Complexité
Cette UE correspond à trois cours : Logique (9 ECTS), Algorithmique (3 ECTS) et Théorie de l’information (6 ECTS)
Logique – Code APOGÉE : MA4AY040 | Enseignant : Antoine Chambert-Loir
Horaires hebdomadaires : 3h CM, 4h TD | Validation : CC + examen | Mutualisé avec : M1 mathématiques (MFA)
Algorithmique – Code APOGÉE : MA4AY030 | Enseignants : Hervé Fournier et Bertrand Gentou
Volume horaire : 3h CM + 4h TD/TP pendant 4 semaines puis 1h TP pendant 8 semaines
Validation : CC + examen | Mutualisé avec : M1 mathématiques (MFA), M1 Mathématiques et Informatique, M1 MIC
Théorie de l’information – Code APOGÉE : MA6AY030 | Enseignant : Pascal Molin
Horaires hebdomadaires : 2h CM, 3h TD | Validation : CC + examen
Mutualisé avec : M1 Mathématiques et Informatique, M1 MIC
→ Descriptif complet Logique | → Descriptif complet Algorithmique | → Descriptif complet Théorie de l’information