Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
formations:masters:langages_et_programmation:1ere_annee [2022/11/03 17:09] – [Descriptif des cours et responsables en 2020-2021] zielonka | formations:masters:langages_et_programmation:1ere_annee [2025/08/22 09:43] (Version actuelle) – [Cours aux choix] treinen | ||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
====== M1 Langages et Programmation (LP) ====== | ====== M1 Langages et Programmation (LP) ====== | ||
- | =====Les nouvelles (à consulter régulièrement tant que la liste de diffusion | ||
- | [[formations: | ||
- | ==== La réunion de rentrée le 10 septembre 2021 ==== | ||
- | [[http:// | ||
==== Emploi du temps ==== | ==== Emploi du temps ==== | ||
Ligne 12: | Ligne 8: | ||
Plusieurs UE obligatoires de M1 LP utilisent la programmation fonctionnelle. Pour cette raison les bases de la programmation fonctionnelle (langage OCaml) constituent les prérequis nécessaires en M1 LP. | Plusieurs UE obligatoires de M1 LP utilisent la programmation fonctionnelle. Pour cette raison les bases de la programmation fonctionnelle (langage OCaml) constituent les prérequis nécessaires en M1 LP. | ||
- | ==== Descriptif des cours et responsables en 2022-2023 ==== | ||
- | |||
- | [[/ | ||
- | |||
- | ==== Dates de débuts de cours du premier semestre ==== | ||
- | |||
- | [[/ | ||
==== Liste de pages web de cours et moodle de Université de Paris ==== | ==== Liste de pages web de cours et moodle de Université de Paris ==== | ||
Ligne 34: | Ligne 23: | ||
^ Matière | ^ Matière | ||
- | | Compilation | + | | [[..: |
- | | Langages à Objets Avancés | + | | [[..: |
==== Cours aux choix ==== | ==== Cours aux choix ==== | ||
Ligne 42: | Ligne 31: | ||
De préférence on vous conseille de choisir parmi les UE marquées “sug” (les UE suggérées) qu’on considère plus pertinents pour le parcours. Mais c’est juste une suggestion, pas une obligation. | De préférence on vous conseille de choisir parmi les UE marquées “sug” (les UE suggérées) qu’on considère plus pertinents pour le parcours. Mais c’est juste une suggestion, pas une obligation. | ||
- | ^ Matière | + | ^ Matière |
- | | Algorithmique | + | | [[..: |
- | | Automates Avancés et Applications | + | | [[..: |
- | | Calculabilité et Complexité | + | | [[..: |
- | | Circuits et Architecture | + | | [[..: |
- | | Interfaces Graphiques | + | | [[..: |
- | | Introduction à l' | + | | [[..: |
- | | Programmation de Composants Mobiles | + | | [[..: |
- | | Programmation Logique et par Contraintes | + | | [[..: |
- | | Protocoles Réseaux | + | | [[..: |
- | | Théorie et Pratique de la Concurrence | + | | [[..: |
- | | Cours extérieur 1 | 6 | + | |
À noter que le //projet long// (voir le deuxième semestre) s' | À noter que le //projet long// (voir le deuxième semestre) s' | ||
- | |||
- | Le cours et les TP de // | ||
===== Cours du deuxième semestre ==== | ===== Cours du deuxième semestre ==== | ||
Ligne 74: | Ligne 60: | ||
^ Matière | ^ Matière | ||
- | | Génie Logiciel Avancé | + | | [[..: |
- | | Programmation Fonctionnelle Avancée | + | | [[..: |
==== Cours aux choix ==== | ==== Cours aux choix ==== | ||
Ligne 81: | Ligne 67: | ||
Vous devez valider 9 ECTS parmi les cours proposés dans ce bloc. Vous vous inscrirez pour les cours de votre choix. Le choix d'une UE libre doit être approuvé par le responsable de l' | Vous devez valider 9 ECTS parmi les cours proposés dans ce bloc. Vous vous inscrirez pour les cours de votre choix. Le choix d'une UE libre doit être approuvé par le responsable de l' | ||
- | ^ Matière | + | ^ Matière |
- | | Algorithmique Avancée et Complexité | + | | [[..: |
- | | Bases de Données Avancées | + | | [[..: |
- | | Compilation Optimisante | + | | [[..: |
- | | Droits de l' | + | | [[..: |
- | | Format de documents et XML | + | | [[..: |
- | | Infographie | + | | [[..: |
- | | Initiation à la Recherche (Séminaire) | + | | [[..: |
- | | Introduction au Logiciel Libre | + | | [[..: |
- | | Outils Formels pour la Science de Données | + | | [[..: |
- | | Preuves Assistées par Ordinateur | + | | [[..: |
- | | Programmation Système Avancée | + | | [[..: |
- | | Sémantique de Langages de Programmation | + | | [[..: |
- | | UE libre | 3 | | | + | | [[https:// |
- | | Cours extérieur 2 | + | | [[..: |
- | | Cours extérieur | + | | [[..: |
==== Projet Long ou Stage en Entreprise ==== | ==== Projet Long ou Stage en Entreprise ==== | ||