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

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
 
Responsable de l'UE : Patrick Loiseau