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 [2021/02/03 17:44] – ↷ Page déplacée et renommée de formations:masters:langages_et_programmation:1ere_annee:accueil à formations:masters:langages_et_programmation:1ere_annee admin | formations:masters:langages_et_programmation:1ere_annee [2024/09/12 09:17] (Version actuelle) – [La réunion de rentrée le 10 septembre 2021] 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: | ||
==== Emploi du temps ==== | ==== Emploi du temps ==== | ||
Ligne 7: | Ligne 10: | ||
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 2020-2021 ==== | ||
- | |||
- | [[/ | ||
==== Dates de débuts de cours du premier semestre ==== | ==== 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 29: | Ligne 29: | ||
^ Matière | ^ Matière | ||
- | | Compilation | + | | [[..: |
- | | Langages à Objets Avancés | + | | [[..: |
==== Cours aux choix ==== | ==== Cours aux choix ==== | ||
Ligne 38: | Ligne 38: | ||
^ 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 | | Cours extérieur 1 | ||
Ligne 53: | Ligne 53: | ||
Le cours et les TP de // | Le cours et les TP de // | ||
+ | |||
+ | == Suivre un cours extérieur ? == | ||
+ | |||
+ | Par cours extérieur, on entend un cours d'un autre Master de l' | ||
+ | Concrètement, | ||
+ | - chercher un cours (de M1) dans un autre M et en discuter avec l' | ||
+ | - Après accord de l' | ||
+ | - Informer la scolarité du M1 lors des inscriptions pédagogiques. | ||
+ | **Attention !** Il faut bien veiller à ce que l' | ||
+ | |||
===== Cours du deuxième semestre ==== | ===== Cours du deuxième semestre ==== | ||
Ligne 58: | Ligne 68: | ||
==== Anglais ==== | ==== Anglais ==== | ||
- | Vous devez valider ce cours qui est organisé par le département | + | Vous devez valider ce cours qui est organisé par le département //Langues pour Spécialistes d' |
- | //Langues pour Spécialistes d' | + | Attention il y a une procédure d' |
- | Attention il y a une procédure d' | + | |
- | [[enseignement/ | + | |
^ Matière | ^ Matière | ||
Ligne 71: | Ligne 79: | ||
^ Matière | ^ Matière | ||
- | | Génie Logiciel Avancé | + | | [[..: |
- | | Programmation Fonctionnelle Avancée | + | | [[..: |
==== Cours aux choix ==== | ==== Cours aux choix ==== | ||
Ligne 79: | Ligne 87: | ||
^ Matière | ^ Matière | ||
- | | Algorithmique Avancée et Complexité | + | | [[..: |
- | | Bases de Données Avancées | + | | [[..: |
| Compilation Optimisante | | Compilation Optimisante | ||
| Droits de l' | | Droits de l' | ||
- | | Format de documents et XML | + | | [[..: |
| Infographie | | 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 | | UE libre | ||
| Cours extérieur 2 | 3 | | | | Cours extérieur 2 | 3 | | | ||
Ligne 98: | Ligne 106: | ||
Vous devez valider soit le //projet long// qui s' | Vous devez valider soit le //projet long// qui s' | ||
- | ^ Matière ^ ECTCS ^ | + | ^ Matière |
- | | Projet | 6 | | + | | Projet |
- | | Stage en Entreprise | 6 | | + | | Stage en Entreprise |
{{tag>m1 lp}} | {{tag>m1 lp}} | ||