https://www.informatique.univ-paris-diderot.fr/formations/masters/langages_et_programmation/2nde_annee
treinen(at)irif.fr est le responsable LP
- 11 matières, chacune vaut 3 crédits, sur toute la période \RA pas de rattrapage par défaut (possibité d’avoir un contrôle en + en fonction de l’enseignant, il faudra contacter l’enseignant ?)
- 3 crédits pour l’anglais
- 24 crédits pour le stage
- edt
Il faut choisir 4 modules dès le 13/09
on peut s’inscrire à 1 cours en + au cas où, ce sera a part, via un système de vœux
Si par exemple, on suit 12 cours, au lieu de 11, alors la note la moins bonne saute
Stage
- il y aura une réunion
- mini 4 mois, max 6 mois, max fin septembre (PAS D’OCTOBRE)
- entre le 1 avril et le 30 septembre
- soutenance fin septembre, avec la soutenance fin aout, début septembre
- vend du rêve pour aucune raison en mode 1k/m
- qqch avec du dev
Conférence
- 14/10 : macroniste nous vend du rêve (Takima)
Présentation des cours
Anglais
Responsable : Patryk Bazinski
Obligation de présence, envoyer justification au prof + lansad.eila(at)u-paris.fr
Contrôle continu + examens + le cul de la crémière
Il faut probablement attendre un questionnaire Moodle pour s’inscrire, on n’en sait pas plus (ça, c’est de la réunion)
Protocoles des Services Internet
C’est la suite du cours de réseau de M1
Toujours un Marionet merdique pour les TP
Projet à la fin type L2
- minicontrôle de 20 min au début de chaque CM (50% de la note, moyenne des n-2 évaluations) + 20% TP noté + 30% projet
Ingénierie des Protocoles
Observation de protocoles existant
2 miniprojets + 1 examen final
Programmation Synchrone
C’est Guatto qui fait le cours (mais il y a Scherer en TP) / mélangé avec les ingénieurs de Diderot
Projet en binôme (30%) + Examen (70%)
Utilisation de Heptagon (alternative libre de SCADE)
\ra langage synchrone
Modélisation et Spécification
Il y a Foughali et Asarin …………………………………..
Commune aussi avec les ingés de Diderot
relatifs aussi dans une certaine mesure avec la programmation synchrone dans un système critique
Pour vérifier qu’un programme est bon : le but, c’est de modéliser un programme, décrire la spécification du programme rigoureusement.
!! réseau de pétri !! avertissement malaise
50% partiel 50% examen pas de seconde session - ptet carrément des moodle ou un qcm
c’est surtout de la modélisation de système, pas le truc théorique de zinzin a côté
Méthodes Formelles pour la Vérification
la partie iceberg cauchemardesque de mod & spec
cauchemar sur patte pour moi qui déteste la logique
50% partiel 50% examen + 1 examen de rattrapage qui peut rattraper tout
Bases de Données Spécialisées
j’ai fait aucun cours en rapport avec ça elle parle chinois pour moi
base de donnée relationnelle
web sémantique (rdf/sparkle) - web3.0 aka ajouter des metadata pour extraire des connaissances
donnée structurée sous forme de graphe
neoforjip / cypher (ressemble à sql)
base de donnée distribuée
postgres/java
tp noté (10%) + exposé en binome (10%) + projet en binome (30%) + examen (qcm/ecriture de requete 50%)
Fouille de Données et Aide à la Décision
Le prof travaille chez Google
cours en python
IA
apprentissage supervisée, clustering, etc.
Projet : faire un système de recommandation
Architecture des Systèmes de Bases de Données
le prof travaille chez Thalès
approche historique - donc il faut des connaissances historiques sur le domaine pour l’examen
java, ex : TP où on implémente des algorithmes de jointure de java
complémentaire au cours de BD de M1
Programmation Objets : Concepts Avancées
prérequis : java
généricité, programmation fonctionnelle, concurrence
inscription sur Moodle pour les groupes
~3 TP notés (peut-être en groupe) à faire en TP, voir 4 - pas d’examen
Informatique Embarquée ou plutôt Ingénierie des systèmes de contrôle-commande
Organisé par les ingénieurs de Diderot, donc chez Olympe de Gouges
Ils bossent à EDF
TP notés à rendre + examen final
Prérequis C