Annales d'examen
  • 2011
    • Examen : sujet, corrigé
      • Modélisation en caml des types de caml
      • Manipulation de polynômes
      • Énumération des montants réalisables avec des pièces de monnaies
    • DS : sujet, corrigé
      • Terminaison de l'algorithme d'exponentiation rapide
      • Un algorithme récursif pour trier trois entiers et sa terminaison
      • Modélisation d'une version simplifiée du poker

  • 2010
    • Examen : sujet, corrigé
      • Séquences gauches et de séquences droites
      • Arbres binaires symétriques et bien peignés
      • Modélisation en caml des types de caml
    • Examen : sujet, corrigé
      • Simplification d'expressions arithmétiques
      • Modélisation en caml des expressions booléenes
      • Tri d'une séquence à l'aide de l'ordre supérieur
    • DS : sujet
      • Modélisation d'un jeu de carte : la bataille colorée
      • Opérations et prédicats sur les entiers de Peano

  • 2009
    • Examen : sujet, corrigé
      • arbres des appels récursifs de la fonction de Fibonacci
    • DS : sujet, corrigé
      • calcul rapide du pgcd
      • fonctionnement des feux de circulation

  • 2008

  • 2007
  • 2006
Responsables INF121 : Michaël PÉRIN, François PUITG