La connaissance de la programmation fonctionnelle, de préférence du langage OCaml, est un prérequis pour le parcours LP. Ce langage sert de base pour plusieurs UE majeures ou obligatoires du parcours, Connaissance de java est bien sûr indispensable.
Pour les parcours IMPAIR il est nécessaire de maîtriser Java, C et avoir des connaissances adéquates en algorithmique.
Les cours commencent le 10 septemebre, les TD le 17 septembre. Le calendrier pédagogique pour 2018-2019 est disponible ici et l’emploi du temps est ici.
Quelques exceptions :
Tous ceux qui suivent les parcours IMPAIRS ou LP doivent valider soit le Projet de programmation soit le stage. Il est difficile de trouver un stage au niveau M1 (il n’y avait que deux validations de stage en 2018) donc en pratique la validation du projet long est une règle et le stage une exception.
Le projet long se déroule sur toute année même si la validation aura lieu au deuxième semestre. Donc vous devez venir dès maintenant aux séances du projet long.
Avec toutes les questions concernant l’anglais vous devez vous adresser à Mme Precious Brown (initials.pbpb[at]gmail.com) de l’UFR LEILA, elle est votre unique interlocutrice. L’UFR d’informatique ne gère pas l’anglais. Je rappelle que l’anglais est une matière obligatoire, un ABI en anglais empêche la validation de l’année.
Pour pouvoir suivre anglais vous devez vous inscrire sur le serveur Portefeuille de compétences en langues. Le serveur propose le test de niveau pour ceux qui sont inscrit pour la première fois à Paris 7. Pour se connecter au serveur vous aurez besoin votre identifiant ENT.
Le TD d’anglais commencent le mardi 18/09/2018, il y aura une pause entre le 29 octobre et le 2 novembre et l’anglais termine le 4 décembre.
Pour plus d’information regardez la page consacrée aux TD anglais
Les anciens billets se trouvent ici.
Il y a deux parcours types de la spécialité professionnalisante du M1 :
Un parcours Informatique Recherche (IR, ancien MPRI) est proposé en M1, à travers des UE obligatoires et optionnelles, aux étudiants désireux de poursuivre en M2 Informatique Recherche. Master Informatique Recherche est habilité conjointement par l’Université Paris 7, l’ENS Ulm, l’ENS de Cachan et l’Ecole Polytechnique. La première année du Master recherche est organisée séparément par chaque établissement partenaire. Toutes les informations concernant M2 de cette spécialité sont disponibles sur le serveur du master recherche : https://wikimpri.dptinfo.ens-cachan.fr/doku.php.
L’année du niveau M1 conduit à l’obtention de 60 crédits ECTS correspondant à des enseignements en accord avec un parcours.
Les 60 crédits du M1 se décomposent comme suit :
Remarque : En suivant tous les enseignements obligatoires de plusieurs parcours, un étudiant pourra retarder le choix de son parcours définitif.
Dans la liste des unités proposées en M1, on trouvera, pour chaque unité, son équivalence en crédits, ainsi que son caractère obligatoire (OBL) ou majeur (MAJ) ou suggéré (SUG) pour chaque parcours/spécialité. Les autres UE peuvent être choisies comme UE hors parcours.
La validation d’une UE avec une note supérieure ou égale à 10/20 implique la capitalisation automatique de son nombre de crédits. Il n’est pas possible de valider une UE par compensation.
cours Paris 7 | ECTS | SEM | LP | IMPAIRS | IR | responsables 2018-19 | |
---|---|---|---|---|---|---|---|
Anglais | 3 | 1 | OBL | OBL | OBL | Precious Brown | |
Programmation logique et par contraintes | 6 | 1 | MAJ | SUG | Peter Habermehl et Antonio Bucciarelli | ||
Calculabilité et complexité | 6 | 1 | SUG | SUG | OBL | Sophie Laplante et Sylvain Perifel | |
Algorithmique | 6 | 1 | SUG | MAJ | OBL | Sophie Laplante | |
Protocoles réseaux | 6 | 1 | MAJ | Juliusz Chroboczek | |||
Programmations des composants mobiles | 6 | 1 | SUG | SUG | Wieslaw Zielonka | ||
Circuits et architecture | 6 | 1 | SUG | SUG | Olivier Carton | ||
Interprétation des programmes | 3 | 1 | OBL | SUG | OBL | Yann Regis-Gianas | |
Introduction à l’intelligence artificielle et à la théorie des jeux | 6 | 1 | SUG | Ahmed Bouajani | |||
Programmation fonctionnelle avancée | 6 | 1 | MAJ | SUG | SUG | Ralf Treinen | |
Langages à objets avancés | 6 | 1 | MAJ | SUG | Jean-Baptiste Yunès | ||
Infographie | 6 | 1 | SUG | SUG | Jean-Baptiste Yunès | ||
Formats de documents et XML | 6 | 1 | SUG | SUG | Olivier Carton | ||
Introduction aux logiciels libres | 6 | 2 | SUG | SUG | Stefano Zacchiroli | ||
Théorie et pratique de la concurrence | 6 | 2 | SUG | SUG | SUG | François Laroussinie, Carole Delporte et Hugues Fauconnier | |
Bases de données avancées | 6 | 2 | SUG | MAJ | Cristina Sirangelo | ||
Sémantique des langages de programmation | 6 | 2 | SUG | SUG | Roberto Amadio | ||
Algorithmique avancée | 6 | 2 | SUG | SUG | Vlady Ravelomanana | ||
Automates avancés | 6 | 2 | SUG | Eugène Asarin | |||
Compilation | 6 | 2 | SUG | SUG | SUG | Yann Regis-Gianas | |
Droit de l’informatique | 3 | 2 | SUG | SUG | Michel Roux | ||
Génie logiciel avancé | 6 | 2 | MAJ | SUG | Karim Tekkal | ||
Programmation système avancée | 6 | 2 | SUG | MAJ | Wieslaw Zielonka | ||
Interfaces graphiques | 6 | 2 | SUG | SUG | Wieslaw Zielonka | ||
Preuves assistées par ordinateur | 6 | 2 | SUG | SUG | Pierre Letouzey | ||
Stage en entreprise | 6 | 2 | SUG | SUG | Roberto Mantaci | ||
Projets de programmation | 6 | 1 et 2 | SUG | SUG | Giovanni Bernardi, Hadrien Batmalle, Léo Planche | ||
Initiation à la recherche (seminaires) | 3 | 2 | SUG | Delia Kesner | |||
Travaux de recherche encadrés | 6 | 2 | OBL | ||||
Cours extérieurs (à venir) |
Précision. Le projet de programmation se déroule sur deux semestres mais il y aura une seule note finale à la fin du deuxième semestre, donc le projet de programmation apporte 6 ECTS sur l’année (et pas sur semestre).