Site officiel du LSV

Magistère - L3 - Algorithmique

Pour la première partie de cette unité d'enseignement, les cours sont assurés par Paul Gastin et les travaux dirigés par Myrto Arapinis.

Sujets de travaux dirigés :

  1. Preuve et terminaison
  2. Complexité
  3. Structures de données (types abstraits)
  4. Extraits des sujets de partiel 2005 et 2006
  5. Tas 2-3-4
  6. Paradigmes

À propos du LSV