Mickael Ferreira
01 57 27 68 96
Sophie Germain - Bur. 3004
En télétravail les mardis et vendredis
(permanences Zoom : 10h30-12h00 ; 14h00-15h30)
(code: 141280)
Sylvia Crochet
01 57 27 68 98
Sophie Germain - Bur. 3002
En télétravail les mercredis et vendredis.
(permanences Zoom : 10h00-11h30 ; 14h30-16h00)
(code: 242581)
Ceci est une ancienne révision du document !
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.
Les pages web de différents cours sont recensées ici.
Le moodle de Université de Paris. Pour l'instant vous trouverez peut-être plus d'informations sur les pages web de cours que sur moodle mais il faut suivre les deux.
Attention : Sur le portail d'informatique Campus Grands Moulins de moodle tous les cours de M1 sont regroupés dans le parcours IMPAIRS, donc vous devez suivre le lien vers le parcours IMPAIRS de M1 pour retrouver vos cours (peu importe votre parcours en M1).
Vous devez valider ce bloc obligatoire. Il y a une compensation entre les deux matières de ce bloc.
| Matière | ECTS |
|---|---|
| Compilation | 6 |
| Langages à Objets Avancés | 6 |
Vous devez valider 18 ECTS parmi les cours proposés dans ce bloc. Vous vous inscrirez au début du semestre pour les cours de votre choix. 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 | ECTS | |
|---|---|---|
| Algorithmique | 6 | sug |
| Automates Avancés et Applications | 6 | |
| Calculabilité et Complexité | 6 | |
| Circuits et Architecture | 6 | sug |
| Interfaces Graphiques | 6 | |
| Introduction à l'Intelligence Artificielle et la Théorie de Jeux | 6 | |
| Programmation de Composants Mobiles | 6 | sug |
| Programmation Logique et par Contraintes | 6 | sug |
| Protocoles Réseaux | 6 | |
| Théorie et Pratique de la Concurrence | 6 | sug |
| Cours extérieur 1 | 6 |
À noter que le projet long (voir le deuxième semestre) s'étend sur la durée des deux semestres.
Le cours et les TP de Programmation de composants mobiles auront lieu pendant les 6 premières semaines du semestre en raison de 4h de cours et 4h de TP par semaine.
Vous devez valider ce cours qui est organisé par le département Langues pour Spécialistes d'Autres Disciplines (LANSAD). Attention il y a une procédure d'inscription séparée à ce cours, voir la la page dédiée à l'Anglais de Spécialité.
| Matière | ECTCS |
|---|---|
| Anglais de Spécialité | 3 |
Vous devez valider ce bloc obligatoire. Il y a compensation entre les deux matières de ce bloc.
| Matière | ECTS |
|---|---|
| Génie Logiciel Avancé | 6 |
| Programmation Fonctionnelle Avancée | 6 |
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'année.
| Matière | ECTS | |
|---|---|---|
| Algorithmique Avancée et Complexité | 6 | |
| Bases de Données Avancées | 6 | |
| Compilation Optimisante | 3 | sug |
| Droits de l'Informatique | 3 | |
| Format de documents et XML | 3 | sug |
| Infographie | 6 | |
| Initiation à la Recherche (Séminaire) | 3 | |
| Introduction au Logiciel Libre | 3 | sug |
| Outils Formels pour la Science de Données | 6 | |
| Preuves Assistées par Ordinateur | 6 | sug |
| Programmation Système Avancée | 6 | sug |
| Sémantique de Langages de Programmation | 6 | sug |
| UE libre | 3 | |
| Cours extérieur 2 | 3 | |
| Cours extérieur 3 | 6 |
Vous devez valider soit le projet long qui s'étend sur les deux semestres du M1, soit le stage en entreprise d'une durée minimale de 2 mois.
| Matière | ECTCS |
|---|---|
| Projet | 6 |
| Stage en Entreprise | 6 |
