~~NOTOC~~ ====== Supports de cours ====== ===== Licence 1 ===== ==== 1ᵉʳ semestre ==== * Introduction aux systèmes d’exploitation (IS1), Dominique Poulalhon, https://moodle.u-paris.fr/enrol/instances.php?id=1627 * Principes de fonctionnement des machines binaires (PF1), Matthieu Picantin, https://moodle.u-paris.fr/enrol/index.php?id=1629 * Introduction à la programmation fonctionnelle, (IPF), Hugo Férée & Adrien Guatto, https://www.irif.fr/users/feree/ipf ==== 2ᵉ semestre ==== * Initiation à la Programmation 2, Giulio Manzonetto, https://www.irif.fr/~gmanzone/teaching.html ===== Licence 2 ===== ==== 1ᵉʳ semestre ==== * EA3 / Elements d'algorithmique 1, Enrica Duchi, https://moodle.u-paris.fr/course/view.php?id=1634 * Pré-Pro 2 : Conduite de projet, Adric Degorre, https://gaufre.informatique.univ-paris-diderot.fr/degorre ==== 2ᵉ semestre ==== ===== Licence 3 ===== ==== 1ᵉʳ semestre ==== * Algorithmique (AL5), Matěj Stehlik, https://moodle.u-paris.fr/course/view.php?id=1646 * Programmation fonctionnelle (PF5), Delia Kesner, https://www.irif.fr/~kesner/enseignement/licence/pf/ * Compléments de programmation orientée objet (CPOO5), Aldric Degorre, https://moodle.u-paris.fr/course/view.php?id=1650#section-1 * Logique (LO5), Sylvain Schmitz, https://www.irif.fr/~schmitz/teach/2023_lo5/ * Projet de programmation OCaml (PPO5), Pierre-Évariste Dagand, https://gaufre.informatique.univ-paris-diderot.fr/dagandpe/ppo5-2023 ==== 2ᵉ semestre ==== * Introduction au Génie Logiciel, Emmanuel Bigeon, https://moodle.u-paris.fr/course/view.php?id=1647 * Bases de Données BD6, Amélie Gheerbrant, https://www.irif.fr/~amelie/BD.html (également IF16Y020 Bases de Données https://moodle.u-paris.fr/course/view.php?id=1655) ===== Master 1 ===== ==== 1ᵉʳ semestre ==== * Algorithmique, François Laroussinie, https://www.irif.fr/~francoisl/m1algo.html * Protocoles réseaux, Giulio Manzonetto, https://moodle.u-paris.fr/course/view.php?id=28492 * Automates avancés et applications (AAA7), Sylvain Schmitz, https://moodle.u-paris.fr/course/view.php?id=28507 * Programmation logique et par contraintes, Peter Habermehl, https://www.irif.fr/~haberm/cours/clp * Programmation de composants mobiles, Eugène Asarin, https://moodle.u-paris.fr/course/view.php?id=10712 * Calculabilité et complexité, Hugo Férée et Valia Mitsou, https://www.irif.fr/users/feree/calculabilite-complexite ==== 2ᵉ semestre ==== ===== Master 2 ===== ==== 1ᵉʳ semestre ==== * Ingénierie des Protocoles, Stephane Maag, https://www-public.imtbs-tsp.eu/~maag/P7/ * Protocoles des services Internet, Juliusz Chroboczek, https://www.irif.fr/~jch/enseignement/internet/ ==== 2ᵉ semestre ====