| Search |

|
|
|
|
There are no translations available Institut de la Francophonie pour l'InformatiqueMaster 1 - Tronc commun
Responsable de l'option : Nguyen Hong Quang IntroductionLe programme du Master 1 – Tronc commun se décompose comme suit :
Liste des cours
Cours MI111 – Initiation à UNIX(29 h – Cours : 15 h, TP : 12 h, Examen : 2 h - 1 ECTS) Description du moduleIl s´agit d´un cours préparatoire intensif. Le but du cours est d´initier les nouveaux auditeurs de l´ IFI à leur environnement de travail : réseau de stations sous GNU/Linux avec logiciels libres et à code source ouvert. Les principaux thèmes étudiés dans ce cours sont les suivants :
Contenu
Chaque séance de cours est suivie par un TD ou TP noté
Cours MI112 – Génie logiciel avancé(39 h – Cours/TP : 36 h, Examen : 3 h - 4 ECTS) Description du moduleCe module permet à l'étudiant d'approfondir les fondements méthodologiques et techniques du génie logiciel. Il a pour but de présenter les aspects avancés du génie logiciel et de fournir aux étudiants les moyens d’introduire ces techniques dans leur environnement professionnel. De plus, il vise à fournir une ouverture sur la recherche dans le domaine du génie logiciel. Le cours est divisé en plusieurs parties théoriques et en ateliers. Les ateliers s'organisent autour d'un projet à réaliser en équipe permettant une opportunité pédagogique axée sur la mise en pratique des concepts théoriques. Contenu
Cours MI113 – Recherche opérationnelle(39 h – Cours : 21 h, TD : 15 h, Examen : 3 h - 4 ECTS) Description du moduleProblèmes d’optimisation sur les graphes : problème d’ordonnancement et méthode de Pert, et flots dans les réseaux et algorithme de Ford – Fulkerson, problème du plus courts chemins. Programmation linéaire : modélisation des problèmes, de la resolution graphique au algorithme du simplexe. Problème de la dualité et méthode dual-simplexe. Modèle de Markov : Simulation, illustrations et applications. Théorie des jeux : jeux non-coopératifs et jeux coopératifs, méthodes modéliser et d’analyser de problèmes. Contenu
Cours MI114 – Intelligence artificielle et Systèmes multi-agents(39 h – Cours : 21 h, TD : 15 h, Examen : 3 h - 4 ECTS) Description du moduleSMA Ce cours se divise en deux parties : une partie théorique permettant d'appréhender les notions d'agent et de système multi-agents et une partie pratique permettant de maîtriser la conception de système à base d'agents sur une plate-forme de type Netlogo sur la base de projets de difficulté graduelle. La partie théorique mettra l'accent sur l'organisation interagents, sur le raisonnement et sur la communication entre agents afin de montrer comment un ensemble d'entités peut interagir afin de résoudre un problème complexe. IA Ce cours a pour but d’introduire les notions de base de l’intelligence artificielle - IA. Différentes approches de l’IA sont abordées ici. La représentation de sconnaissances du problème à résoudre par la logique est développée sous plusieurs aspects : logique des propositions, des prédicats, floue, temporelle…. La résolution naïve de problèmes est ainsi traitée à l’aide d’algorithmes de recherche comme la recherche aveugle, la recherche heuristique. De là, dans des cas complexes, une telle résolution de problèmes peut être mise en évidence en inférant les connaissances acquises représentées par la logique de propositions et de prédicats. Ce module aborde également les notions de Systèmes Experts et de Planification pour un agent rationnel. ContenuSMA
IA
Cours MI115 – Ontologies et web sémantique(39 h – Cours : 24 h, TD : 12 h, Examen : 3 h - 4 ECTS) Description du moduleLes ontologies ont des origines variées, de la philosophie à l'ingénierie des connaissances en passant par les sciences cognitives. L'utilisation d’ontologies, ou connaissances, est de plus en plus importante dans les systèmes d’information (SI). Ce cours permet à l'étudiant d'approfondir les fondements méthodologiques et techniques de l’ingénierie des connaissances à base d’ontologies. Il a pour but de présenter les notions de base sur l’ingénierie ontologique, des langages de formalisation, des méthodologies pour la construction d'une ontologie et la validation d'une ontologie, ainsi des applications à base d’ontologies. De plus, ce cours vise à fournir une ouverture sur la recherche dans le domaine du web sémantique. Différentes facettes relatives aux langages et modèles de données pour le web sémantique seront introduits : langages de balisage et de transformation de documents électroniques, langage de description de ressources, langage de représentation d'ontologies. Contenu
Cours MI116 – Bases de données avancées(33 h – Cours : 22 h, TD : 8 h, Examen : 3 h - 4 ECTS) Description du moduleUne évolution constante de la technologie des bases de données consiste à exprimer une part toujours plus importante de la sémantique des domaines d’application directement comme des fonctions fournies par le logiciel de gestion de bases de données et invoquées par les programmes d’application, au lieu de devoir programmer ces fonctions dans les programmes d’applications construits par les développeurs d’applications. Le cours illustre cette évolution et ses avantages, en présentant les principes des bases de données actives, temporelles et basées sur les objets. Contenu
Cours LE111 – Français(5 ECTS) Description du moduleLes cours de français en Master 1 sont des cours de perfectionnement. Les étudiants doivent s'approcher d'un niveau B2 en fin de Master 1. Les cours et le travail en auto-apprentissage viseront à :
ContenuLes modules 1 et 3 abordent des thématiques similaires chaque semaine mais les compétences travaillées dans chacun des modules seront différentes : compréhension de l'écrit et grammaire le lundi et entraînement à la compréhension orale en grand groupe le vendredi ; puis expression orale sur une thématique identique en petit groupe. Le mercredi après-midi est consacré à l'atelier journal (module 2). 30 minutes sont destinées à la mise en place du cahier des charges et les 30 minutes suivantes sont consacrées à la réalisation des tâches par petit groupe ou individuellement.
Cours MI121 – Gestion de projet(57 h – Cours / TD : 54 h, Examen : 3 h - 6 ECTS) Description du modulePrincipes et méthode de gestion de projet et leur application au génie logiciel. Le processus de gestion de projet : faisabilité, planification, réalisation, évaluation a posteriori. Les études de faisabilité : principes et techniques d'évaluation des coûts et des bénéfices; mesure des tailles fonctionnelles des logiciels; techniques d'analyse financière et de la limitation des risques. La planification et ses aspects structurels, organisationnels, opérationnels et financiers : organigramme des tâches, ordonnancement, évaluation du coût des tâches, méthodes de nivellement des ressources; leur application aux projets en génie logiciel. La réalisation : direction, coordination, contrôle de l'avancement, des coûts et de la qualité; gestion des changements; clôture du projet. Rôle et responsabilités du chef de projet. Plan de documentation du projet. Contenu
Cours MI122 – Conception et architecture des réseaux(39 h – Cours : 27 h, TD : 9 h, Examen : 3 h - 4 ECTS) Description du moduleL’objectif de base de ce cours est de renforcer les compétences en réseaux, rappeler et approfondir les connaissances des étudiants sur les principes théoriques de la transmission de données dans les réseaux informatiques, les différents types des supports de communication, les principes des réseaux locaux et les éléments liés à l'infrastructure physique d'un réseau local (Ethernet, Token Ring, norme IEEE 802.3), les principes de routage, les couches réseau, transport et application et les protocoles correspondants de l’Internet. Le cours prévoit également la lecture et l'analyse des articles scientifiques sur les technologies de communication, les protocoles et les aspects de gestion et d’administration des réseaux actuels. Contenu
Cours MI123 – Fouille de données et recherche d'information(39 h – Cours/TP : 36 h, Examen : 3 h - 4 ECTS) Description du moduleCe cours enseigne les fondements de la recherche d’informations sur le Web, les intranets, les bibliothèques numériques, ainsi que pour la fouille de données et les outils d’analyse de données. La recherche d’informations et la fouille de données regroupent les technologies pour chercher, analyser et organiser automatiquement les documents texte ou multimédia, structurés ou semi-structurés Contenu
Cours MI124 – Théorie de la complexité et de l'algorithme approchés(33 h – Cours/TP : 30 h, Examen : 3 h - 4 ECTS) Description du moduleEffectivité et efficacité pour résoudre un problème. Le modèle des machines de Turing et les problèmes demi-décidables. Les problèmes décidables. La réduction de problèmes.Un premier problème indécidable : l’arrêt des machines de Turing. Par réductions, d’autres problèmes indécidables : Rice, PCP, ... Les problèmes polynomiaux P, non-déterministes polynomiaux NP, et NP-complets. Un premier problème NP-complet (Cook) : SAT. Par réductions polynomiales, d’autres problèmes NP-complets : transversale, voyageur de commerce, chemin hamiltonien, partition, mariages à trois, ...,. Evaluation de la complexité de programmes itératifs et récursifs : sommations et récurrences. ContenuIntroduction. Machines et problèmes. Existence de problèmes indécidables. Machines de Turing. Exemples et exercices. Machines de Turing. Modèle multi-bandes. Machine de Turing universelle. Langages acceptés, calculés, énumérés. Demi-décidabilité. Machines de Turing non déterministes. Problèmes décidables et langages récursifs. Indécidabilité de l’arrêt. Réduction de problèmes. Exemples. Théorème de Rice. Problème de correspondance de Post. D’autres problèmes indécidables. Exemples et exercices. Machines de Turing de complexité polynomiale. Réduction polynomiale. Circuit hamiltonien (HC) et voyageur de commerce (TS). Machines de Turing non dérministes de complexité polynomiale. Problèmes NP-complet. Théorème de Cook : SAT. 3SAT, transversale (VC), chemin hamiltonien (HC), clique, mariages à trois (3DM), partition, ..., . Ordres de grandeur. Equivalents asymptotiques. Exemples.Programmes itératifs. Coefficients binomiaux. Programmes récursifs. Récurrences. Sommation par parties. Séries génératrices. Résolution de récurrences. Méthode symbolique. Exemples et exercices.
Cours MI125 – Traitement d'images(18 h – Cours : 9 h, TP notés : 9 h - 2 ECTS) Description du moduleCe module est une introduction, ou une remise à niveau, sur les méthodes et techniques de base utilisées pour le traitement des images. Il fournit une vue d’ensemble des différents aspects liés à ce domaine. En plus des techniques existantes, les étudiants sont amenés à réfléchir sur les difficultés liées à ce domaine. Les notions de ce cours seront approfondies par la suite dans les cours de l’option Intelligence Artificielle & Multimédia en Master 2. Contenu
Cours MI126 – Programmation par contrainte(18 h – Cours /TP : 15 h, Examen : 3 h - 2 ECTS) Description du moduleIntroduction aux techniques de recherche locale, et plus particulièrement à la recherche locale basée sur les contraintes. Contenu
Cours MI127 – Travaux personnels encadrés (TPE)(8 ECTS ) Description du moduleCe module de Travaux Personnels Encadrés (TPE) a pour but de développer un sens de l’autonomie, de l’initiative et du travail individuel chez les auditeurs. L’auditeur doit démontrer qu’il est capable de comprendre un domaine pointu, structurer la connaissance, maîtriser et présenter un sujet scientifique et tout cela de façon individuelle et personnelle. Il s’agit d’un module très important dans la réussite des études à l’IFI.Chaque auditeur doit approfondir de façon individuelle un sujet choisi sous l’encadrement d’un professeur. Le travail se déroule sur deux semestres et comporte à la fois un volet théorique, où l’auditeur doit étudier tous les documents relatifs à son sujet, et un volet pratique, où l’auditeur doit faire une réalisation pratique sur son sujet. ContenuCe module est essentiellement un travail personnel que l'auditeur doit mener pendant 2 semestres. Quelques séances de cours (environ 10h au total) auront lieu pendant l'année pour expliquer les différentes étapes de la méthodologie scientifique.
Cours MI128 – Séminaires de recherche(2 ECTS) Description du moduleCe module se compose de plusieurs séminaires couvrant différents sujets de la recherche et des applications d’aujourd’hui. Les conférenciers aborderont des thèmes difficilement abordables dans un contexte académique classique. Différents conférenciers seront invités à présenter leurs travaux tout au long du semestre. Cesconférenciers peuvent être :
ContenuChaque auditeur doit produire deux résumés de séminaires pendant l'année. Chaque résumé vaut pour 50% de la note du module. Lorsqu'un auditeur choisit un séminaire qu'il veut résumer, le résumé est à rendre pour la semaine suivante (7 jours maximum après le séminaire). Les deux séminaires à résumer doivent être choisis à des dates différentes.
Cours LE121 – Français(5 ECTS) ContenuLes cours de français en Master 1 sont des cours de perfectionnement. Les étudiants doivent s'approcher d'un niveau B2 en fin de Master 1. Les cours et le travail en auto-apprentissage viseront à :
Cours LE122 – Anglais(1 ECTS ) Description du moduleThis course is designed to help the students work efficiently in an English-speaking environment. It aims at improving the IFI students’ English, both general English and business English by providing them with necessary skills namely : Listening, Speaking, and Business Correspondence Writing. ContenuListening and Speaking
Grammar & Writing
Methodology
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||