Mention Informatique M1 
 1. Semestre 7 
 Fondamentaux de la spécialité 
 Option 1 
 Option 2 
 Option 3 
 Option 4 
 Option 5 
 Option 6 
 2. Semestre 8 
 Fondamentaux de la spécialité 
 Option 1 
 Option 2 
 Option 3 
 Option 4 
 Option 5 
 Option 6 
Option 6
VERI : VERIfication SYIM : SYnthèse d'IMages
1 option au choix
VERI : VERIfication INFORMATIQUE BIOLOGIE
Objectif
Acquisition des techniques d'analyse statique utiles pour le débuggage, la preuve, le test, la compréhension, la maintenance des programmes.
Contenu
  • Graphes de contrôle et de flots de données
  • Evaluation symbolique
  • Preuve de Hoare
  • Test structurel
  • Slicing   
Horaires
Cours
TD
TP
    21
    18
   0
SYIM : SYnthèse d'IMages INFORMATIQUE BIOLOGIE
Objectif
Le cours présente les modèles informatiques et les algorithmes nécessaires à la modélisation et à la visualisation de scènes 3D.
Contenu
  • Le cours est constitué de 2 parties :
  • Modélisations 2D (quadtree,…) et 3D  (principaux modeleurs géométriques)
  • Visualisation - algorithmes de rendu
    • Elimination des parties cachées
    • Modèles d'éclairage tel que Phong
    • Radiosité, …
Horaires
Cours
TD
TP
    21
    18
   0
Haut