Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Année universitaire 2022/2023 Présentation des enseignements de la spécialité I

Année universitaire 2022/2023 Présentation des enseignements de la spécialité Informatique (INFO) Semestre(s) : 5-6-7-8-9-10 L'enseignement est organisé en Unités d'Enseignement (UE) composées de plusieurs Éléments Constitutifs (EC). Un EC est un module d'enseignement ; il est constitué de cours magistraux (CM), travaux dirigés (TD), travaux pratiques (TP), projet (PR), conférences (CONF), du travail en autonomie (TA) et possiblement d'autres activités pédagogiques (DIV). Des stages (ST) sont également obligatoires. Abréviations utilisées CM : Cours Magistraux TD : Travaux Dirigés TP : Travaux Pratiques CONF : Conférences TA : Travail Autonome PR : Projet ST : Stage DIV : Divers 08/09/2022 Page 1 / 296 INSA Rennes - Spécialité Informatique (INFO) : 2022/2023 - Semestre(s) : 5-6-7-8-9-10 - Sommaire Code Libelle INFT1-SPECIF Spécification formelle INF06-RES Réseaux INF06-SECU Vulnérabilités des systèmes informatiques INF06-TALEO Traitement automatique du langage écrit et oral INF07-CRYPTO Ingénierie de la cryptographie INF07-PERF Evaluation de performance INF07-PP Programmation parallèle et distribuée INF07-PROJ1 Projet logiciel phase 1 : pré-étude et spécifications INF07-SECU Sécurité des réseaux INF08-CLOUDS Clouds INF08-CONTR Programmation par contraintes INF08-PROJ2 Projet logiciel phase 2 : conception et réalisation INF08-TALIL TAL et interactions langagières INF09-BDASW Bases de données avancées et web sémantique INF09-CP Compétition algorithmique INF09-DATA Stockage et traitement des Big data INF09-DevOps DevOps INF09-SECU Sécurité offensive OffreFormation - Page 1 / 1 Liste des cours avec support en anglais ou pouvant être donnés en anglais INSA RENNES - Spécialité Informatique (INFO) : 2022/2023 Semestre 5 Parcours FISP1 1 INF05-1 MATHEMATIQUES POUR L'INFORMATIQUE 4.00 INF05-PROBA O Probabilités 1.50 INF05-ADFD O Analyse de données et Fouille de données 2.50 2 INF05-2 ARCHITECTURE LOGICIELLE ET MATERIELLE 6.00 INF05-CLP O Concepts de la logique à la programmation 3.00 ESM05-INFOC O Langage C 1.50 INF05-HI O Hygiène informatique 1.50 3 INF05-3 PARADIGMES DE PROGRAMMATION 6.50 INF05-PL O Programmation logique 2.00 INF05-FUS O Des FUS aux Langages de scripts 2.50 INF05-PF O Programmation fonctionnelle 2.00 4 INF05-4 CONCEPTION LOGICIELLE 6.50 INF05-EP O Etude Pratique S5 2.00 INF05-CPOO1 O Conception et programmation orientée objet 1.50 INF05-SDD O Structure de données 3.00 5 HUM05-ISP/RISQ ENSEIGNEMENTS D'HUMANITE S5 - FISP / RISQ 6.00 HUM05-ANGL O Anglais S5 2.00 HUM05-RISQ O Gestion du Risque 1.50 HUM05-EPS O Education physique et sportive S5 1.00 HUMF1-ALL C Allemand 1.50 HUMF1-ESP C Espagnol 1.50 HUMF1-CHI C Chinois 1.50 HUMF1-ITA C Italien 1.50 HUMF1-JAP C Japonais 1.50 HUMF1-RUS C Russe 1.50 O : obligatoire ; C = à choix ; F = facultatif 08/09/2022 Page 2 / 296 INSA RENNES - Spécialité Informatique (INFO) : 2022/2023 Probabilités INF05-PROBA Volume horaire total : 20.00 h 1.50 crédits ECTS CM : 10.00 h, TP : 10.00 h Responsable(s) : BABEL Marie Objectifs, finalités : Ce module est une introduction aux méthodes et modèles probabilistes utiles en informatique. Contenu : Le cours est organisé autour des thématiques suivantes : - Rappels : variables aléatoires, lois dicrètes et continues - Loi des grands nombres, théorème central limite - Intervalles de confiance, tests sur la moyenne, test du chi-deux - Vecteurs aléatoires - Applications Bibliographie : - H. Stöcker, «Toutes les mathématiques et les bases de l'informatique», Coll. Sciences Sup, Ed. Dunod. 2002. - Christine Decaestecker & Marco Saerens, « Probabilités et Statistiques: Quelques petits rappels », Université Libre de Bruxelles - A. Perrut, « Cours de probabilités et statistiques », Université Claude Bernard Lyon 1, 2010 - B. Jourdain, « Probabilités et statistique pour l’ingénieur », Ecole des Ponts ParisTech, 2018 - A. Zemmari, « Probabilités et Statistiques pour l’Informatique », Université de Bordeaux, 2020 - M. Métivier, « Notions fondamentales de la théorie des probabilités, maîtrises de mathématiques », Dunod, 1968 - L. Wehenkel, « Eléments du Calcul des Probabilités », Université de Liège, 2013 - R. Chachura, «Course: Probability Theory and Statistics for Programmers », https://geekrodion.medium.com/course-probability-theory-and-statistics-forprogrammers-353e20202620, 2018 - M. Maumy-Bertrand, « Probabilités pour Statistique », Univ. Strasbourg, 2011 - J-P. Delmas. Introduction aux probabilités. Ellipses, 1993. - D. Foata, J. Franchi, A. Fuchs. Calcul des probabilités. Dunod, 2012. Prérequis : Programme de mathématiques du 1er cycle universitaire L1 et L2 Organisation, méthodes pédagogiques : Des TPs seront à effectuer en R par les étudiants. Modalités d'évaluation : TP noté Public ciblé : 08/09/2022 Page 3 / 296 INSA RENNES - Spécialité Informatique (INFO) : 2022/2023 Analyse de données et Fouille de données INF05-ADFD Volume horaire total : 28.00 h 2.50 crédits ECTS CM : 20.00 h, TP : 8.00 h Responsable(s) : CELLIER-BELLINA Peggy Objectifs, finalités : L'objectif de ce cours est de présenter et de mettre en pratique des méthodes d'analyse de données et de fouille de données. Contenu : - Analyse de données * Analyse en composantes principales (ACP) * Analyse factorielle des correspondances simple (AFC) * Classification automatique ou clustering (agrégation autour des centres mobiles, classification hiérarchique) - Fouille de données * Clustering (k-moyennes, hiérarchique, par densité) * Fouille de motifs (analyse de concepts formelles, règles d'association, fouille de motifs séquentiels, fouille de graphes) Bibliographie : - Jambu - Exploration informatique et statistique des données. Dunod, 1987. - Escofier, Pagès - Analyses factorielles simples et multiples. Dunod, 1990. - Lebart, Morineau, Piron - Statistique exploratoire multidimentionnelle. Dunod, 1995. - Cornéjuols, Kodratoff, Miclet- Apprentissage artificiel. Eyrolles, 2002. - B. Ganter, G. Stumme, R. Wille. Formal Concept Analysis. Springer, 2005. - M. Bramer. Principles of Data Mining. Springer, 2007. - C. Aggarwal, J. Han. Frequent Pattern Mining. Springer, 2014. - C. Aggarwal. Data Mining: the textbook, Springer. 2015. Prérequis : - Notions d'algèbre linéaire de premier cycle universitaire - Outils élémentaires de probabilités Organisation, méthodes pédagogiques : - Pour la partie Fouille de données: Support en anglais ; cours pouvant _etre dispensé en anglais - Nécessité d'approfondissement du cours et de préparation des travaux pratiques Modalités d'évaluation : - Un examen écrit de 2 heures à la fin du semestre Public ciblé : - Licence 3 en Informatique 08/09/2022 Page 4 / 296 INSA RENNES - Spécialité Informatique (INFO) : 2022/2023 Concepts de la logique à la programmation INF05-CLP Volume horaire total : 38.00 h 3.00 crédits ECTS CM : 16.00 h, TD : 16.00 h, TP : 4.00 h Responsable(s) : ARNALDI Bruno Objectifs, finalités : Ce cours a pour objectif de donner les bases nécessaires à la compréhension du fonctionnement d'un ordinateur. La logique combinatoire et séquentielle joue un rôle fondamental en informatique dans la construction des programmes et dans les architecture des systèmes. Ces concepts sont donc étudiés dans le but d'analyser le comportement des processeurs vis-à-vis de l'implantation matérielle. Contenu : * Comprendre les mécanismes de base de l'exécution d'une instruction * Comprendre les problèmes de performance (clés pour plus tard) * Comprendre les tailles de donnée, l’accès aux données, les cycles d'exécution * Comprendre les bus de données et d’adresses, UAL, UC, UT * Faire le lien avec les concepts fondamentaux de l'informatique * Codage / décodage * Numération / représentation des informations * Automate / programme / langage : fournir les concepts et méthodes utilisés en programmation fonctionnelle en vue de les appliquer pour développer des applications de taille significative * comprendre les mécanismes d'interaction entre un processeur (son architecture) et un langage de "bas-niveau" (assembleur) Bibliographie : * Claude Brie, "Logique combinatoire et séquentielle",Ellipses, Paris, 2002. * David Patterson, John Hennessy, "Computer Architecture, The hardware/software interface", 4ème édition, Morgan Kaufman * John F. Wakerly, "Digital Design: Principles And Practices", Prentice Hall, 2000. Prérequis : Organisation, méthodes pédagogiques : Modalités d'évaluation : Étude du cours et préparation des séances de travaux pratiques Public ciblé : 3INFO 08/09/2022 Page 5 / 296 INSA RENNES - Spécialité Informatique (INFO) : 2022/2023 Langage C ESM05-INFOC Volume horaire total : 22.00 h 1.50 crédits ECTS CM : 6.00 h, TD : 4.00 h, TP : 12.00 h Responsable(s) : ARNALDI Bruno Objectifs, finalités : Acquérir les notions de base de programmation en langage C. Trouver l'intersection minimale de l'ensemble des besoins pour utiliser le langage C. Maîtrise en écriture et compréhension de code. Maîtrise de la syntaxe et de la sémantique associée. Contenu : 1. Introduction au langage C : Introduction. Chaîne de production, du code source à l'exécutable. 2. Survol du langage : Introduction. Exemple de programme C. Les objets manipulés. Structure d'un programme. Les entrées / sorties. 3. Le langage C de base : Les entités lexicales du C. Syntaxe du langage. Déclaration de variables. Les types prédéfinis. Opérateurs et expressions. Les entrées-sorties de base. Les structures de contrôle et les instructions. Les tableaux : 1ère forme. Les fonctions et les passages de paramètres par valeur. 4. Le langage C avancé : Les pointeurs. Les fonctions et le passage de paramètres par adresse. Les fonctions de la bibliothèque standard. Modèles mémoire pour les fonctions et pointeurs. Tableaux 2ème forme. Nouveaux types et constructeurs de types. Conversion explicite de types. Entrées / Sorties fichiers. Gestion dynamique de la mémoire Bibliographie : J.P. BRAQUELAIRE. Méthodologie de la programmation en langage C - Principes et applications. Masson, 1993. J.P. BRAQUELAIRE. Méthodologie de la programmation en langage C - Norme C99 - API POSIX. Dunod, 2005. C. DELANOY. Programmer en langage C, avec exercices uploads/Ingenierie_Lourd/ info-2223-fr.pdf