| Nom : | Test |
| Niveau : | Master 2ème année (DESS/DEA) Sciences et Techniques - Mention informatique |
| Descriptif : | Ce cours présente les différents types de tests des méthodes boites noires à boites blanches du structurel au fonctionnel. |
| Support : | Cours (Pdf, 1,8Mo) |
| Réference : | S. Xanthakis, P. Régnier et C. Karapoulios, "Le test des logiciels", Hermès 2000 I. Sommerville, "Software Engineering",Addison-Wesley – 6th ed. 2001 John Watkins, "Test logiciel en pratique", Vuibert Informatique 2002 |
| Nom : | Compilation |
| Niveau : | Master 1ère année (Maitrise) Sciences et Techniques - Mention informatique |
| Descriptif : | Ce cours a pour but d'appréhender les mécanismes mis en oeuvre lors de la réalisation d'un compilateur et d'interpréteurs de langage. Il se décompose en quatre parties amenant chacun des connaissances. Le pré-requis concerne les notions sur la théorie des langages et plus particulièrement des rappels sur les différentes formes de grammaire (LL, SLR, LR, LALR). La premième partie, présente le langage MiniJaja (langage proche du Java) pour lequel nous allons écrire un interpréteur. On introduit ainsi les notions de sémantiques associée à un langage. La seconde partie présente le langage destination de notre compilateur qui est le Jaja-Code avec ses axiomes d'interprétations. On appréhende ainsi comment changer de paradigme, en passant à un langage de plus bas niveau. La quatrième partie présente les règles du compilateur qui permettent de passer du langage MiniJaja au langage Jaja-Code. Le cours se termine sur des considérations d'équivilence entre les interpréteurs et les problèmes d'optimisation. |
| Support : | Cours |
| Réference : | A. Aho, R. Sethi et J. Ullman, "Compilateurs principes, techniques et outils", InterEditions Cours de Théorie des Langages L3 |
| Nom : | Méthodes et Outils pour l'Intelligence Artificielle |
| Niveau : | Master 1ère année (Maitrise) Sciences et Techniques - Mention informatique |
| Descriptif : |
L'intelligence artificielle est une expression souvent employée en littérature ou au cinéma pour désigner des entités informatique capable de penser. Même si la finalité pourrait se résumer à cela, le terme regroupe l'ensemble des moyens pour y parvenir. Dans ce cours, nous présentons un certain nombre de modélisations et de méthodes de résolution utilisées en Intelligence Artificielle. Il s'articule en trois parties :
|
| Cours | |
| Réference : |
Cours de logique "Systèmes Experts : Méthodes et outils", J.M. Chatain et A. Dussauchoy. Eyrolles 1987 |
| Nom : | Contraintes et Raisonnement Temporisé |
| Niveau : | Master 2ème année (Recherche/ Professionnel) |
| Descriptif : |
Ce cours se décompose en deux parties. Nous proposons ici, la première partie qui concerne la présentation et l'utilisation de solveurs de contraintes. Ce cours se décompose en trois phases qui correspondent aux phases du traitement des contraintes dans un solveur
|
| Support : | Cours et Projet |
| Réference : | "Programming with constraints", K. Marriott and P.J. Stuckey, M.I.T. press 1998 "Prolog Programming for Artificial Intellingence" 3rd Edition, BRATKO , Addison Wesley 2000 |
| Nom : | Logique |
| Terminé : | 2004-2005 |
| Niveau : | Licence 2èrme année Sciences et Techniques - Mention Informatique ou DEUG de sciences 2ème année |
| Descriptif : | Ce cours d'introduction à la logique se décompose en 2 grandes parties. La première correspond à la logique propositionnelle et son axiomatique. La seconde correspond à la logique du 1er ordre ou logique des prédicats. Un préambule à la deuxième partie est proposé pour se familiariser avec la notion d'algèbre de terme. Celle-ci est un des fondements de la logique des prédicats. |
| Support : | Cours |
| Réference : | Logique : J-P. Delahaye, "Outils logiques pour l'intelligence Artificielle", Eyrolles J.H. Gallier, "Logic for computer science", John wiley & sons H. Enderton, "A mathematical introduction to logic", Academic Press A. Thayse, "Approche logique de l'intelligence artificielle", Dumod Prolog : L. Sterling et E. Shapiro ,"L'art de Prolog", Eyrolles W.F. Clocksin et C.S. Mellish, "Programming in Prolog", Springer-Verlag |
| Nom : | Architecture, Système et Réseau |
| Terminé : | 2003-2004 |
| Niveau : | DEUG 2ème année |
| Descriptif : | Ce cours est une présentation de l'informatique aux sens de la machine. Il part du coeur de l'ordinateur avec une présentation du fonctionnement interne de l'ordinateur (registres, pile, interruptions) avec une présentation du langage assembleur. Puis propose, une étude sur le rôle du système d'exploitation et se termine avec une présentation sur les réseaux. |
| Support : | Présentation Power-point ou html |
| Réference : | Tutorial Asm |