Master Logos
Recherche pour :

SEMESTRE 4 (30 ECTS)

Ce semestre propose deux itinéraires :

(I) Itinéraire 1 : Stage

  • Stage d’au moins quatre mois (27 ECTS)
  • UE complémentaire au choix (3 ECTS) :
    • Présentation du mémoire de stage
    • UE libre

(II) Itinéraire 2 : Mémoire de recherche

  • Mémoire du Master 2 LOGOS (15 ECTS)
  • 2 UE de 6 ECTS chacune (appartenant à deux blocs différents)
  • UE complémentaire au choix (3 ECTS) :
    • Présentation du mémoire
    • UE libre

Pour l’itinéraire 2, choisir 12 ECTS dans 2 blocs différents parmi :

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

+ Philosophie des mathématiques (6 ECTS)

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

→ Descriptif complet du cours

+ Le savoir Mathématique (6 ECTS)

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

→ Descriptif complet du cours

+ Mathématiques pour non-spécialistes (6 ECTS)

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

→ Descriptif complet du cours

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

+ Advanced semantics 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

+ Syntax, semantics, discourse 2 (6 ECTS)

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

(Cours en anglais)

→ Descriptif complet du cours

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

+ Théorie des ensembles : outils classiques (6 ECTS)

Code APOGÉE : MA2DE050 | Enseignant : Mirna Dzamonja | Validation : CC + examen
Horaires hebdomadaires : 4h CM | Mutualisé avec : M2 LMFI

→ Site officiel | → Descriptif complet du cours

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

Code APOGÉE : MA2DE030 | Enseignant : Sylvy Anscombe | Validation : CC + examen
Horaires hebdomadaires : 4h CM | Mutualisé avec : M2 LMFI

→ Site officiel | → Descriptif complet du cours

+ Preuves-programmes : outils classiques (6 ECTS)

Code APOGÉE : MA2DE010 | Enseignants : Guillaume Geoffroy et Hugo Herbelin | Validation : CC + examen
Horaires hebdomadaires : 4h CM | Mutualisé avec : M2 LMFI

→ Site officiel | → Descriptif complet du cours

+ Calculabilité : outils classiques (6 ECTS)

Code APOGÉE : MA2DE200 | Enseignants : Hervé Fournier et Guillaume Malod | Validation : CC + examen
Horaires hebdomadaires : 4h CM | Mutualisé avec : M2 LMFI

→ Site officiel | → Descriptif complet du cours

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

+ Statistique en grande dimension (6 ECTS)

Enseignant : Stéphane Boucheron | Validation : CC + examen
Horaires hebdomadaires : 2h CM, 1h TD | Durée : 10 semaines
Mutualisé avec : M2 MIDS

→ Site officiel | → Descriptif complet du cours

+ Deep Learning (6 ECTS)

Code APOGÉE : MA7CY070 | Enseignant : Stéphane Gaïffas | Validation : CC
Horaires hebdomadaires : 2h CM, 1h TP | Durée : 10 semaines
Mutualisé avec : M2 MIDS

→ Site officiel | → Descriptif complet du cours

+ Logique, complexité descriptive et théorie des bases de données (6 ECTS)

Code APOGÉE : IFJCE350 | Coordinateur : Leonid Libkin | Validation : examen
Horaires hebdomadaires : 4h CM | Mutualisé avec : M2 MPRI

Titre : Querying Data: Foundations and Practice

→ Site officiel | → Descriptif complet du cours

Copyright © 2025 Master Logos