Informatique        (1ère année)
Modélisation des structures informatiques
    Les structures de données : des concepts mathématiques au service de l'informaticien

  • Concepts mathématiques
    Nous abordons sous l'angle de l'informaticien les notions : de relation, d'ordre, d'équivalence, de logique, de preuve, de récurrence, d'ensembles définis récursivement, ...
  • Application à l'informatique
    Nous illustrons chaque notion sur une application informatique afin de montrer que les concepts mathématiques sont partout et conduisent à des modélisations et des algorithmes puissants et élégants.
  • Programmation avancée
    Nous verrons à travers des illustrations en C et Ocaml que plus on maîtrise les concepts mathématiques mieux on programme.

Calendrier et Fonctionnement

La première semaine
  deux cours, pas de TD, pas de TP
 
au total 10 CM, 20 TD, 10 TP encadrés
Chaque semaine pendant 10 semaines
un cours + 2 TD + 1 TP
 
Le cour présente des notions fondamentales et leurs applications pratiques, les TD permettent de s'approprier ses notions et le TP les illustrent sur un cas concret.
en fin de semestre
deux projets en binôme
 
Les projets sont la mise en application de notions du cours pour résoudre un problème épineux. Les séances 6 et 10 sont consacrées aux soutenances des projets.
Évaluation des connaissances
durée 2h00, sans document
 
mars : Devoir surveillé
mai : Examen
septembre : Seconde session
Note finale
(2 CC + 2 DS + 6 Examen) / 10
 
Responsables de l'UE : Cristian Éné & Michaël PÉRIN