Page d'enseignement de Mohamed TOUNSI
MENU

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

TDs

Projets des étudiants

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

TPs

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

TPs

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

TDs

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

TDs

Auditoire

1ère année - Master informatique