Ci-dessous, les différences entre deux révisions de la page.
Prochaine révision | Révision précédente | ||
formations:ressources:supports_de_cours [2021/09/26 15:52] – [2ᵉ semestre] supprimer Prog Fontionnelle Avancee car nouveau responsable treinen | formations:ressources:supports_de_cours [2024/09/04 12:04] (Version actuelle) – [1ᵉʳ semestre] jurski | ||
---|---|---|---|
Ligne 6: | Ligne 6: | ||
==== 1ᵉʳ semestre ==== | ==== 1ᵉʳ semestre ==== | ||
- | * Introduction | + | * Introduction |
- | * Introduction à la programmation en Java (parcours IPJ de IP1 Info, Maths-Info, Bio-Info, Japonais-Info, | + | * Principes de fonctionnement des machines binaires |
- | * Introduction à la programmation fonctionnelle, | + | * Introduction à la programmation fonctionnelle, |
- | * Initiation Java (parcours IPF de L1 Info, Maths-Info, Bio-Info, Japonais-Info), | + | |
- | * Introduction aux systèmes d’exploitation (L1 Info, Maths-Info, Bio-Info, Japonais-Info, | + | |
- | * Principes de fonctionnement des machines binaires (L1 Info, Maths-Info, Bio-Info, Japonais-Info, | + | |
- | + | ||
+ | ==== 2ᵉ semestre ==== | ||
+ | * Initiation à la Programmation 2, Giulio Manzonetto, https:// | ||
===== Licence 2 ===== | ===== Licence 2 ===== | ||
==== 1ᵉʳ semestre ==== | ==== 1ᵉʳ semestre ==== | ||
- | * Programmation Orientée Objets, Cristina Sirangelo, https:// | + | * EA3 / Elements d' |
- | * Automates et Analyse Lexicale, Ralf Treinen, https://moodle.u-paris.fr/course/ | + | * Pré-Pro 2 : Conduite de projet, Adric Degorre, https://gaufre.informatique.univ-paris-diderot.fr/degorre |
+ | ==== 2ᵉ semestre ==== | ||
===== Licence 3 ===== | ===== Licence 3 ===== | ||
==== 1ᵉʳ semestre ==== | ==== 1ᵉʳ semestre ==== | ||
- | * Logique | + | * Algorithmique |
- | * Mathématiques discrètes, Sophie Laplante et Antonio Bucciarelli, https:// | + | * Programmation fonctionnelle (PF5), Delia Kesner, https:// |
- | * Bases de données | + | * Compléments de programmation orientée objet (CPOO5), Aldric Degorre, |
- | * Programmation fonctionnelle | + | * Logique |
+ | * Projet de programmation OCaml (PPO5), Pierre-Évariste Dagand, https:// | ||
+ | |||
==== 2ᵉ semestre ==== | ==== 2ᵉ semestre ==== | ||
- | | + | |
- | * Langages | + | |
+ | * Bases de Données BD6, Amélie Gheerbrant, https:// | ||
===== Master 1 ===== | ===== Master 1 ===== | ||
Ligne 39: | Ligne 40: | ||
==== 1ᵉʳ semestre ==== | ==== 1ᵉʳ semestre ==== | ||
- | * Automates avancés et Applications, Valerie Berthé et Arnaud Sangnier, https:// | + | * Algorithmique, François Laroussinie, https:// |
- | * Compilation, Adrien Guatto, https://www.irif.fr/~guatto/teaching/ | + | * Protocoles réseaux, Giulio Manzonetto, https://moodle.u-paris.fr/course/view.php? |
- | * Programmation fonctionnelle avancée, Ralf Treinen, https://www.irif.fr/ | + | * Automates avancés |
- | * Circuits | + | * Programmation logique |
- | * Interfaces graphiques, Olivier Carton, https://www.irif.fr/ | + | * Programmation de composants mobiles, Eugène Asarin, https:// |
- | * Théorie | + | * Calculabilité |
- | * Protocoles réseau, Juliusz Chroboczek, https:// | + | * Langage Objet Avancé - C++, Yan Jurski, https://moodle.u-paris.fr/course/view.php? |
- | * Algorithmique, Sophie Laplante, https:// | + | |
- | * Programmation Logique | + | |
- | * Introduction à l' | + | |
- | * Calculabilité et Complexité, | + | |
==== 2ᵉ semestre ==== | ==== 2ᵉ semestre ==== | ||
- | * Algorithmique avancée et complexité, | ||
- | * Bases de données avancées, Cristina Sirangelo, Cours online : https:// | ||
- | * Outils formels pour la science des données : https:// | ||
- | * Sémantique des langages de programmation, | ||
- | * XML, Olivier Carton, https:// | ||
- | * Génie Logiciel Avancé, Stefano Zacchiroli, https:// | ||
- | * Introduction aux Logiciels Libres, Stefano Zacchiroli, https:// | ||
- | * Initiation à la recherche, Delia Kesner, https:// | ||
- | * Projet de programmation, | ||
- | * Programmation système avancée, Wieslaw Zielonka, https:// | ||
===== Master 2 ===== | ===== Master 2 ===== | ||
==== 1ᵉʳ semestre ==== | ==== 1ᵉʳ semestre ==== | ||
- | + | | |
- | * Architecture des système de base de données https:// | + | |
- | * Fouille de Données, Fabien Viger, http:// | + | |
- | * Informatique embarquée-EIDD, | + | |
- | | + | |
- | * Méthodes Formelles de Vérification, | + | |
- | * Modélisation est spécification, | + | |
* Protocoles des services Internet, Juliusz Chroboczek, https:// | * Protocoles des services Internet, Juliusz Chroboczek, https:// | ||
- | * Programmation synchrone, Adrien Guatto, https:// | + | |
- | * Programmation multicœur (MPRI), Adrien Guatto, https:// | + | |
- | * Programmation orientée objet, concepts avancés, Michel Blancard, https:// | + | |
- | * Bases de données spécialisées, | + | |
- | | + | |
==== 2ᵉ semestre ==== | ==== 2ᵉ semestre ==== | ||
- | * Algorithmique | ||
- | * Grands réseaux d’interaction, | ||
- | * Méthodes algorithmiques pour l' | ||
- | * Optimisation, | ||
- | * Programmation comparée, Hugo Férée, Adrien Guatto, Pierre Letouzey, https:// | ||
- | * Programmation logique et par contraintes avancée, Ralf Treinen, https:// | ||
- | * Programmation répartie, Carole Delporte, Cours sur zoom https:// | ||
- | * Systèmes avancés. Jean-Baptiste Yunes, pour le 5 janvier à 9h https:// | ||
- | * Transformation de Programmes. Pierre Letouzey, https:// | ||
- | * Méthodes formelles Approche Probabiliste, |