Outils pour utilisateurs
formations:ressources:supports_de_cours
Différences
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:ressources:supports_de_cours [2021/09/25 16:22] – [1ᵉʳ semestre] jch | formations:ressources:supports_de_cours [2023/10/23 12:35] (Version actuelle) – [1ᵉʳ semestre] cd | ||
|---|---|---|---|
| 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' |
| + | * Pré-Pro 2 : Conduite de projet, Adric Degorre, https:// | ||
| + | ==== 2ᵉ semestre ==== | ||
| ===== Licence 3 ===== | ===== Licence 3 ===== | ||
| Ligne 26: | Ligne 25: | ||
| ==== 1ᵉʳ semestre ==== | ==== 1ᵉʳ semestre ==== | ||
| - | * Logique | + | * Algorithmique |
| - | * Système, Ines Klimann, https:// | + | * Programmation fonctionnelle |
| - | * Algorithmique | + | * Compléments de programmation orientée objet (CPOO5), Aldric Degorre, https:// |
| - | * Mathématiques discrètes, Sophie Laplante et Antonio Bucciarelli, https:// | + | * Logique |
| - | * Bases de données | + | * Projet de programmation OCaml (PPO5), Pierre-Évariste Dagand, https:// |
| - | * Programmation fonctionnelle | + | |
| ==== 2ᵉ semestre ==== | ==== 2ᵉ semestre ==== | ||
| - | | + | |
| - | * Langages | + | |
| + | * Bases de Données BD6, Amélie Gheerbrant, https:// | ||
| ===== Master 1 ===== | ===== Master 1 ===== | ||
| Ligne 41: | 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:// | + | |
| - | * Algorithmique, Sophie Laplante, https:// | + | |
| - | * Programmation Logique | + | |
| - | * Introduction à l' | + | |
| ==== 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:// | ||
| - | * Programmation Fonctionnelle Avancée, Ralf Treinen, 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, | ||
formations/ressources/supports_de_cours.1632586959.txt.gz · Dernière modification : 2022/05/19 13:48 (modification externe)
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International
