Master Logos
Recherche pour :

SEMESTRE 3 (30 ECTS)

PRINCIPE DIRECTEUR POUR LE SEMESTRE
L’étudiant doit choisir :

soit 5 UE de 6 ECTS, soit 3 UE de 6 ECTS + 1 UE de 12 ECTS, et dans tous les cas au moins une UE dans chacun des quatre blocs.

A) Bloc Philosophie des sciences
Choix de 1 ou 2 UE de 6 ECTS chacune parmi :

+ Philosophie de la connaissance (6 ECTS)

Code APOGÉE : PS2CE030 | Validation : CC + examen
Horaires hebdomadaires : 3h CM | Mutualisé avec : M2 HPS (Histoire et Philosophie des Sciences)

→ Descriptif complet du cours

+ History of linguistic theories (6 ECTS)

Code APOGÉE : SL2CY061 | Enseignant : Chloé Laplatine | Validation : CC + examen
Horaires hebdomadaires : 2h TD | Mutualisé avec : M2 LI (Linguistique)

(Cours en anglais)

→ Descriptif complet du cours

B) Bloc Linguistique
Choix de 1 ou 2 UE de 6 ECTS chacune parmi :

+ Discourse and dialogue (6 ECTS)

Code APOGÉE : LCHCY010 | Coordinateur : Jonathan GINZBURG | Validation : CC + examen
Horaires hebdomadaires : 2h | Mutualisé avec : M2 LLCER LI

(Cours en anglais)

→ Descriptif complet du cours

+ Semantics and pragmatics (6 ECTS)

Code APOGÉE : LCHCY020 | Coordinatrice : Agnès CELLE | Validation : CC + examen
Horaires hebdomadaires : 2h | Mutualisé avec : M2 LLCER LI

(Cours en anglais)

→ Descriptif complet du cours

+ Computational language modeling and cognition (6 ECTS)

Validation : CC + examen | Horaires hebdomadaires : 2h CM, 2h TD
Mutualisé avec : LI (MASL1), UFR de Linguistique

(Cours en anglais)

→ Descriptif complet du cours

+ Logical structure and linguistic history (6 ECTS)

Cette UE se compose de deux parties :

Structures logiques et informatique pour la modélisation du langage (3 ECTS)
Validation : CC + examen | Horaires : 1h CM, 1h TD | Mutualisé avec : MPRI

La linguistique à la croisée des disciplines (3 ECTS)
Validation : CC + examen | Horaires : 1h CM, 1h TD | Mutualisé avec : TELP (MASL4), UFR de Linguistique

→ Descriptif Structures logiques | → Descriptif Linguistique à la croisée

+ Advanced Experimental syntax (6 ECTS)

Code APOGÉE : SL6BY061 | Validation : CC + examen
Horaires hebdomadaires : 0,5h CM, 1,5h TD | Mutualisé avec : TELP (MASL4), UFR de Linguistique

(Cours en anglais)

→ Descriptif complet du cours

+ Theory driven experimental syntax (6 ECTS)

Code APOGÉE : SL6BY071 | Validation : CC + examen
Horaires hebdomadaires : 0,5h CM, 1,5h TD | Mutualisé avec : TELP (MASL4), UFR de Linguistique

(Cours en anglais)

→ Descriptif complet du cours

+ Advanced semantics and Pragmatics (6 ECTS)

Code APOGÉE : SL6BY051 | Validation : CC + examen
Horaires hebdomadaires : 0,5h CM, 1,5h TD

(Cours en anglais)

→ Descriptif complet du cours

C) Bloc Logique
Choix de 1 ou 2 UE de 6 ou 12 ECTS parmi :

+ Théorie des modèles (6 ECTS)

Code APOGÉE : MA2CE020 | Enseignant : Tamara Servi | Validation : examen
Horaires hebdomadaires : 2h CM, 2h TD | Mutualisé avec : M2 LMFI

→ Site officiel | → Descriptif complet du cours

+ Théorie des ensembles (6 ECTS)

Code APOGÉE : MA2CE040 | Enseignant : Alessandro Vignati | Validation : examen
Horaires hebdomadaires : 2h CM, 1h TD | Mutualisé avec : M2 LMFI

→ Site officiel | → Descriptif complet du cours

+ Théorie de la démonstration (6 ECTS)

Code APOGÉE : MA2CE030 | Enseignant : Thierry Joly | Validation : examen
Horaires hebdomadaires : 2h CM, 2h TD | Mutualisé avec : M2 LMFI

→ Site officiel | → Descriptif complet du cours

+ Théorie des catégories (6 ECTS)

Code APOGÉE : MA2CE110 | Enseignant : Sylvain Douteau | Validation : examen
Horaires hebdomadaires : 2h CM | Mutualisé avec : M2 LMFI

→ Site officiel | → Descriptif complet du cours

+ Calculabilité et incomplétude (12 ECTS)

Code APOGÉE : MA4BY030 | Enseignant : Arnaud Durand | Validation : examen
Horaires hebdomadaires : 4h CM, 2h TD | Mutualisé avec : M2 LMFI

→ Site officiel | → Descriptif complet du cours

D) Bloc Informatique
Choix de 1 ou 2 UE de 6 ECTS chacune parmi :

+ Traitement de la langue naturelle (6 ECTS)

Code APOGÉE : IFKCY060 | Enseignants : Marie Candito, Benoit Crabbé, Ewan Dunbar
Validation : CC + examen | Horaires hebdomadaires : 2h
Mutualisé avec : M2 MIDS

→ Site officiel | → Descriptif complet du cours

+ Complexité Randomisée (6 ECTS)

Code APOGÉE : IFJCE170 | Validation : examen
Horaires hebdomadaires : 4h CM | Mutualisé avec : M2 MPRI

→ Site officiel | → Descriptif complet du cours

+ Introduction à l'intelligence artificielle (6 ECTS)

Code APOGÉE : IFEAY080 | Enseignant : A. Bouajjani | Validation : CC + examen
Horaires hebdomadaires : 2h CM, 2h TD | Mutualisé avec : M1 Mathématiques et Informatique

→ Descriptif complet du cours

+ Programmation fonctionnelle et preuve formelle en COQ (6 ECTS)

Code APOGÉE : MA2DE080 | Enseignant : Alexis Saurin | Validation : projet
Horaires hebdomadaires : 2h CM, 2h TP | Mutualisé avec : M2 LMFI

→ Site officiel | → Descriptif complet du cours

+ Théories des calculs (6 ECTS)

Code APOGÉE : IFJCE410 | Enseignant : Olivier Bournez | Validation : examen
Horaires hebdomadaires : 2h CM | Mutualisé avec : M2 MPRI

→ Site officiel | → Descriptif complet du cours