UNITE 1 :
RESEAUX ET BASES DE DONNEES OBJET
UNITE 2 :
THEORIE DES LANGAGES, LANGUE ANGLAISE
UNITE 3 :
RECHERCHE OPERATIONNELLE ET INTELLIGENCE ARTIFICIELLE
UNITE 4 :
OPTIONNELLE
UNITE 5 :
PROGRAMMATION LOGIQUE ET OPTIMISATION LINEAIRE
UNITE 6 :
COMPILATION
UNITE 7 :
OPTIONNELLE
UNITE 8 :
TRAVAIL D'ETUDE ET DE RECHERCHE, STAGE EN ENTREPRISE
VOLUMES HORAIRES EN COURS, TD, TP, COEFFICIENTS ET COMPOSITION DES UNITES D'ENSEIGNEMENTS
MODALITES D'ACCES ET DE CONTROLE DES CONNAISSANCES
La partie réseaux de ce module a pour but de fournir des connaissances aussi bien théoriques (principes, problématiques spécifiques, modèles de réseaux...) que pratiques au travers de TD/TP de programmation et de configuration matérielle. Le cours proprement dit se décompose en deux parties dont la première est dédiée au modèle de référence OSI et la seconde à la description du réseau Internet et de la famille des protocoles TCP/IP. Une troisième partie constituée de TD et de TP effectués parallèlement au cours aborde les aspects pratiques du réseau Internet.
Introduction.
Le modèle de référence OSI de l'ISO : étude des différentes couches.
Historique et organisation d'Internet.
Architecture des protocoles TCP/IP et adressage.
La couche liaison d'Internet, les protocoles IP, TCP et UDP.
Quelques applications : BOOTP, Telnet, Rlogin, NFS, TFTP et FTP, mail, news, web, Xwindow.
La sécurité dans Internet et le futur d'Internet : IPv6.
Outils communs d'utilisation d'un réseau sous Unix, commandes unix liées à Inter
net, fichiers de configuration.
Ecriture d'une page web.
Introduction au langage JAVA, écriture d'applets, exemples d'applications client
-serveur et d'utilisation des sockets en Java.
Installation d'un intranet sous Linux.
Présentation de l'architecture du réseau de l'Université d'Angers et de quelques
évolutions futures d'Internet.
Ce cours prolonge le cours de licence sur les BD (des liens existent aussi avec le cours de programmation logique et les notions de programmation orientée objet). Des travaux dirigés se déroulent parallèlement au cours et traitent des exemples significatifs illustrant chacune des grandes approches présentées. L'approfondissement par la pratique et l'étude de cas concrets sont prévus dans le cadre de l'unité optionnelle conception des système d'information.
Historique, limites du modèle relationnel, les concepts liés au formalisme objet
.
:
Architecture, les objets dans O2, l'interrogation en O2SQL, comparaison O2SQL et
algèbre relationnelle
:
Architectures, serveur d'objets, serveur de pages
:
Implementation des techniques de base : support de la persistance, gestion des objets, gestion des transactions
:
Il s'agit d'une présentation des concepts et principaux résultats de la théorie des langages permettant de caractériser formellement la notion de langages, leur classification et les propriétés qui en découlent. Le cours permet, en particulier, d'introduire les concepts de base nécessaires à la caractérisation des classes de langages utilisés en compilation pour l'analyse efficace des langages de programmation.
Chaînes, alphabet, langages. Définitions des langages par des accepteurs, par des générateurs. Classification de Chomsky.
Automates d'états finis déterministes, non déterministes, à ε-transitions.
Expressions régulières, grammaires régulières. Equivalences.
Minimisation, lemme de la pompe, propriétés de fermeture.
Formes normales de Chomsky et de Greibach
Automates à pile et langages algébriques
Lemme de la pompe pour les langages algébriques
Propriétés de fermeture
Cet enseignement réalisé en continuité avec l'enseignement d'anglais de la licence a pour but de donner les connaissances et une pratique suffisantes de la langue anglaise pour la compréhension, la rédaction et l'expression dans les domaines techniques et plus spécifiquement dans les domaines liés à l'informatique.
Le cours, consacré à la résolution de problèmes d'optimisation combinatoire, présente des algorithmes classiques dont les performances constituent un facteur déterminant de la réalisation d'applications efficaces entrant dans leur champ de compétence. La résolution des différents problèmes d'optimisation abordés s'appuiera sur les concepts et algorithmes de la théorie et de l'algorithmique des graphes.
Méthodes PERT et Potentiel
Généralités sur les chemins dans un graphe, algorithme de Ford, algorithme de Bellman, algorithme de Dijkstra, existence de chemins
Caractérisation des arbres, algorithme de Kruskal, algorithme de Sollin
Généralités sur les flots et tensions dans un réseau, construction d'un flot compatible : algorithme de Hoffmann, flots maximaux : algorithme de Ford - Fulkerson, flots maximaux à coût minimal : algorithme de Roy et algorithme de Bennington
On aborde ici les techniques de résolution de problèmes spécifiques de l'intelligence artificielle. Ce cours présente aussi les langages de représentation des connaissances à forme de graphes étiquetés (réseaux sémantiques). Les langages logiques, qu'il s'agisse de la logique classique ou des logiques non standard sont exposés par ailleurs dans les cours de licence et dans l'unité optionnelle d'intelligence artificielle de la maîtrise. Les langages de l'intelligence artificielle (LISP, Prolog, Clisp,...) font eux aussi l'objet d'enseignement dans d'autre unités de la licence ou de la maîtrise d'informatique.
Représentation de problèmes par graphe d'états et graphes de sous-problèmes.
Recherche heuristique dans les graphes d'états: l'algorithme A*
Recherche heuristique dans les graphes de sous-problèmes : l'algorithme AO*
Algorithme minimax. Elagage (-(
Les différents types de contrôle. Présentation de quelques systèmes à base de règles. La cohérence dans les systèmes à base de règles.
Réseaux sémantiques : Graphes conceptuels, KL-ONE,...
On étudie ici l'automatisation de la déduction classique en s'appuyant sur les acquis issus de la partie logique classique et résolution de l'unité 6 de la licence.
Syntaxe, sémantique, validité d'une formule
Algorithme de Quine ou méthode de remplacement des équivalents
Systèmes de Hilbert et Ackermann,
Système de Whitehead et Russel
Système de Lukasiewicz
Théorie de la preuve et théorème de la déduction
La déduction naturelle
Les séquents de Gentzen
La méthode des tableaux
La méthode des connexions
La méthode de réduction à la forme normale
Logique équationnelle (Algèbres, Systèmes de réduction abstraits)
Systèmes de réécriture (Ordres, Terminaison et Confluence)
Unification (Unification syntaxique et unification sémantique)
Complétion (Algorithme de Knuth-Bendix)
Applications pratiques (Utilisation du logiciel UREVEAL)
Ce cours décrit les différentes étapes de la vie d'une application informatique, depuis l'étude d'opportunité jusqu'à la mise en exploitation et à la maintenance. Parallèlement au cours, les travaux dirigés permettent aux étudiants de traiter une étude de cas de bout en bout.
Cycle de vie d'un SI
Etude préalable : Objectifs, finalités du système d'information, règles de gestion...
Niveau conceptuel : Choix de gestion, entité-association, schémas conceptuels de données et des traitements...
Niveau conceptuel : Choix de gestion, entité-association, schémas conceptuels de données et des traitements...
Niveau logique : Choix organisationnels, tâches, procédures, relations, schémas logiques de données et des traitements...
Niveau physique : Choix techniques, ressources physiques, transactions, schéma de la base, programmes
Une unité libre de 30 heures minimum choisie dans un autre second cycle de l'Université et ayant reçu l'agrément d'une commission de validation.
La programmation logique étudie en détail la méthode de recherche utilisée par le langage Prolog qui sera non seulement abordé du point de vue de la représentation des connaissances, mais aussi en tant que langage de programmation pour la résolution de problèmes complexes.
Théorie de Herbrand, Unification
SLD Résolution
Le langage Prolog
Enumération de l'espace de recherche
Programmation orientée structure
Programmation récursive
Composants non-logiques de Prolog
Programmation non-déterministe
Programmation niveau méta
Structures de données incomplètes
Grammaires en Prolog
Traitement du langage naturel
Compilation de langages impératifs
Définition, Analyse, Variantes, Performances
La dualité : Problème primal et problème dual, Théorème de la dualité et des écarts complémentaires Interprétation économique
Simplexe révisé
Problèmes généraux en programmation linéaire
Méthode duale-simpliciale
Allocation de ressources
Planification
Théorie des jeux
Les principales techniques de la compilation sont présentées. Leur application au travers de l'utilisation en TP et TD de lex et Yacc conduit à la réalisation d'un compilateur pour un langage procédural de type Pascal.
Présentation générale des différentes phases de la compilation
Rappels sur les expressions régulières et les automates. Construction d'un analyseur lexical par une méthode calquée sur l'analyse SLR pour une grammaire régulière.
Présentation générale, notion de dérivation, arbre d'analyse, dérivations gauche et droite.
Grammaire hors-contexte, construction d'une grammaire (grammaire propre, ambiguïté, récursivité à gauche, factorisation)
Analyse descendante LL(1). Traitement des erreurs.
Analyse montante SLR, LR(1), LALR. Traitement des erreurs.
Définitions dirigées par la syntaxe, arbres décorés, attributs synthétisé, attributs hérités, évaluation ascendante.
Caractérisation et définition d'un langage intermédiaire
Production de code intermédiaire pour les principaux types d'instructions des langages de programmation procéduraux.
Après avoir traité des différents types de représentation des connaissances de type réseau sémantique dans l'unité 3 (intelligence artificielle) l'accent est mis ici sur différentes formes de représentations et de raisonnements correspondant à des logiques non standard. Certaines thématiques de l'intelligence artificie lle relatives à la résolution de problèmes spécifiques sont présentées dans une deuxième partie du cours.
Logiques modales et représentation du temps et de l'espace
Logiques Non monotones : Logique des défauts et traitement des exceptions
Logiques multivaluées, possibilistes, floues
Physique qualitative et diagnostic
Apprentissage automatique, inférence grammaticale.
Les réseaux de neurones
Il s'agit de donner aux étudiants les connaissances nécessaires au traitement des données textuelles. Outre une présentation des traitements classiques des différentes couches de la langue, le cours insistera sur les traitements à base de transducteurs et les méthodes d'étiquetages utilisés en ingénierie linguistique.
Différentes couches de la langue. Notion fondamentales de la syntaxe du français
.
Les principaux modèles et outils du Traitement Automatique du Langage Naturel (TALN), les applications du TALN.
Définition et propriétés formelles des transducteurs d'états finis.
Les traitements morphologiques . Les dictionnaires électroniques. L'étiquetage des textes
Les grammaires augmentées, les grammaires de traits. Grammaires d'unification, La grammaire syntagmatique généralisée
Les réseaux de transition augmentés (ATN)
L'analyse par CHART.
Logique et langage naturel. Le lien syntaxe/sémantique : les grammaires catégorielles.
On abordera ici des méthodes de résolution de problèmes de la recherche opérationnelle basées sur des heuristiques ainsi que la résolution des problèmes de satisfactions de contraintes
Conditions d'utilisation
Branch and Bound
Le recuit simulé
La méthode Tabu
Les algorithmes génétiques et la programmation génétique
Définition, langage, notations, sémantique.
Algorithmes standard pour la satisfaction
Consistances locales et filtrage
Les optimisations du baktrack
Classes polynômiales et décomposition
Résolution par des méthodes de programmation par contrainte
Les travaux d'études et de recherches visent à familiariser les étudiants à l'activité de recherche au travers de la réalisation d'un projet comportant une partie bibliographique et, si le sujet, s'y prête une réalisation concrète. La réalisation des TER se fera en parallèle avec les cours habituels et s'étendra sur une durée d'environ huit semaines. Les TER feront l'objet d'un rapport écrit et d'une soutenance orale et le cas échéant d'une démonstration de la réalisation effectuée.
En complément des TER, les étudiants effectueront un stage de huit semaines en entreprise afin de les sensibiliser aux applications industrielles. Le stage fera l'objet d'un rapport écrit et d'une soutenance orale.
DUREE | ||
Unité 1 (Coef. 2) : Réseaux, Bases de données objet
2. Bases de données objets | Cours TD
TP Cours TD TP |
|
| Unité 2 (Coef. 1,5) : Théorie des langages, Anglais
1.Théorie des langages 2. Anglais | Cours
TD TD |
|
| Unité 3 (Coef. 2) : Recherche Opérationnelle, Intelligence Artificielle (I.A.)
1. Optimisation combinatoire 2. Intelligence artificielle | Cours
TD Cours TD |
|
Unité 4 (Coef. 1) : Options, un cours à choisir parmi :
3. Unité " libre " | Cours
TD Cours
TD |
|
| nature | ||
Unité 5 (Coef 2) : Programmation Logique, Optimisation linéaire :
2. Optimisation linéaire | Cours TD
TP Cours TD TP |
|
| Unité 6 (Coef. 1,5) : Compilation | Cours
TD TP |
|
| Unité 7 (Coef. 1) : Options, un cours à choisir parmi :
1. Logiques non classiques et systèmes d'I.A.
2. Traitement automatique du langage naturel
3. Heuristiques et CSP | Cours TD Cours TD Cours TD |
|
| Unité 8 (Coef. 3) :Travail d'études et de recherche, Stage
1. Travail d'études et de recherche 2. Stage en entreprise (8 semaines) |
| |
| Total Général |
La maîtrise d'informatique s'adresse à des étudiants titulaires d'une licence d' informatique, de façon prioritaire, ou à des étudiants détenteurs d'un diplôme c omportant une formation en informatique d'un niveau BAC+3. Elle s'adresse égalem ent à des techniciens issus du milieu professionnel ayant, soit un des titres re quis pour l'admission, soit un niveau jugé équivalent.
L'admission se fait :
- de plein droit pour les étudiants titulaires d'une licence d'informatique
- sur décision d'un jury d'admission pour les autres candidats après un examen d
e leur dossier et, éventuellement, un entretien avec un membre de ce jury.
La composition du diplôme et l'organisation semestrielle des unités d'enseigneme nt
L'enseignement est organisé en 6 unités obligatoires et 6 unités optionnelles ré parties sur 2 semestres.
Le diplôme se compose des 6 unités obligatoires et de 2 des unités optionnelles. Une des unités obligatoires est constituée d'un stage en entreprise et de la ré alisation d'un travail d'étude et de recherche.
La décomposition semestrielle permet aux étudiants d'inclure 3 unités obligatoir es par semestre dans l'évaluation de leur maîtrise . Les deux unités optionnelle s peuvent être choisies dans le même semestre ou réparties au premier et deuxièm e semestre.
Les étudiants titulaires d'une maîtrise en Sciences ou d'un diplôme équivalent o nt la possibilité de demander la validation d'une unité de leur diplôme en tant qu'unité optionnelle libre.
- Un jury d'évaluation des unités d'enseignement du premier semestre à la fin du
premier semestre.
- Un jury de première session après les examens du second semestre
- Un jury de seconde session.
En outre, un jury de diplôme pourra être organisé après le jury d'évaluation des unités du premier semestre pour les étudiants redoublants.
La note finale par unité se calcule en prenant une moyenne pondérée des notes du contrôle continu et des examens terminaux de chaque discipline de l'unité, le c ontrôle continu intervenant pour une part allant 30 à 40 % de la note finale.
Le diplôme est obtenu si la moyenne générale N obtenue est au moins égale à 10 s ur 20.
Les mentions suivantes sont attribuées en fonction de la note finale N:
Assez Bien pour 12 < N < 14
Bien pour 14 < N < 16
Très bien pour N > 16
Le principe de conservation des unités obtenues est appliqué.
Dernière modif. : 29/09/98 par Frantz de Germain
Retour à la page d'accueil du Laboratoire d'Informatique Page d'accueil de la Faculté des Sciences d'Angers Page d'accueil de l'Université d'Angers