Cours de l'année 2014-2015.
Interface Homme/Machine (IHM)
Objectifs
L'objectif de ce cours est de permettre à l'étudiant de maîtriser la conception et la mise en œuvre d'une interface graphique d'une application informatique.
Plan
- CHAPITRE 1: Les interfaces graphiques dans la communication homme machine Télécharger
- CHAPITRE 2: Organiser l'information Télécharger
- CHAPITRE 2 (annexe): La méthode Tri par carte Télécharger
- CHAPITRE 3: Présenter l'information Télécharger
- CHAPITRE 4: Critères ergonomiques Télécharger
- CHAPITRE 5: Test utilisateur Télécharger
- CHAPITRE 6: Conception orientée utilisateur Télécharger
TDs
- TD1: Énoncés des exercices Télécharger
- TD2: Énoncés des exercices Télécharger
- Exercice corrigé: Évaluation ergonomique de twitter Télécharger
Projets des étudiants
- Projet 1: Charte graphique Télécharger
- Projet 2: Gabarit d'écran Télécharger
Auditoire
2ère année - Licence informatique
Théorie de graphes et optimisation
Objectifs
Ce cours est une introduction aux concepts de la théorie des graphes, des algorithmes fondamentaux sur les graphes, et à leurs applications. A titre d'exemples nous traitons les graphes simples, orientés et valués, ainsi que les chaînes, cycles, connexité, stabilités, noyau, etc.
Plan
- CHAPITRE 1: Les graphes simples et notions de base Télécharger
- CHAPITRE 2: Graphes et chemins Télécharger
- CHAPITRE 3: Graphes pondérés Télécharger
- CHAPITRE 4: Les arbres
TPs
- TP1: Énoncés des exercices Télécharger Introduction au langage Python (manuel): Cliquer ici
- TP2: Énoncés des exercices Télécharger Documentation de NetworkX Cliquer ici
- TP3: Énoncés des exercices Télécharger
- TP4: Énoncés des exercices Télécharger
Auditoire
2ème année - Licence informatique
Programmation orientée objet
Objectifs
L'objectif de ce cours est d'initier les étudiants à la programmation objet. Apprendre à identifier les objets et les classes dans un problème, apprendre à résoudre un problème grâce à un ensemble d'objets interagissant.
Plan
- CHAPITRE 1: Introduction générale à Java Télécharger
- CHAPITRE 2: Les éléments de base du langage Java Télécharger
- CHAPITRE 3: Les principes de la programmation orienté objet Télécharger
- CHAPITRE 4: L'héritage et le polymorphisme Télécharger
- CHAPITRE 5: La gestion des exceptions
TDs
- TD1: Énoncés des exercices Télécharger
TPs
- TP1: Énoncés des exercices Télécharger
- TP2: Énoncés des exercices Télécharger
- TP3: Énoncés des exercices Télécharger
- TP4: Énoncés des exercices Télécharger
Auditoire
2ème année - Licence informatique
Système d’Exploitation I
Objectifs
L'objectif de ce cours est de définir la notion de système d'exploitation ainsi que ses différentes fonctionnalités et de montrer les liens qui existent entre une architecture matérielle et un système d'exploitation. Dans de ce cours, nous étudions de manière théorique et pratique la partie «Système de Gestion de Fichiers» des systèmes d'exploitation.
Plan
- CHAPITRE 1: Introduction aux systèmes d'exploitation Télécharger Les liens des vidéos: L'histoire de Linux , Les premiers ordinateurs et L'histoire de Windows
- CHAPITRE 2: Structure des systèmes d'exploitation Télécharger
- CHAPITRE 3: Gestion des processus Télécharger
- CHAPITRE 4: Gestion des fichiers Télécharger
- CHAPITRE 5: Gestion de la mémoire
TDs
- TD1: Énoncés des exercices Télécharger
- TD2: Énoncés des exercices Télécharger
- TD3: Énoncés des exercices Télécharger
Auditoire
1ère année - Licence informatique
Méthode formelle
Objectifs
L'objectif de la première partie du cours est l'acquisition des outils théoriques permettant de construire un raisonnement formel, ainsi que de prouver la terminaison et la correction des algorithmes. La deuxième partie aborde la spécification formelle des programmes avec la méthode Event-B.
Plan
- CHAPITRE 1: Logique des propositions Télécharger
- CHAPITRE 2: Logique du premier ordre Télécharger
- CHAPITRE 3: Théorie des ensembles Télécharger
- CHAPITRE 4: Construire des programmes corrects avec Event-B Télécharger
- CHAPITRE 5: Le raffinement et les obligations de preuve Télécharger
- Annexe: Les obligations de preuve (Jeand Raymond Abrial): Version courte, Version longue
TDs
- TD1: Énoncés des exercices Télécharger
- TD2: Énoncés des exercices Télécharger
- TD3: Énoncés des exercices Télécharger
- TD4: Énoncés des exercices Télécharger
- TD5: Énoncés des exercices Télécharger
- Exercice Event-B (la bouilloire électrique): Source Rodin Télécharger
Auditoire
1ère année - Master informatique