Sommaire

  1. Récursivité
  2. Programmation Orientée Objet
  3. Calculabilité et Décidabilité
  4. Mise au point de programme