La machine de Turing


Objectifs visés

  • Savoir mettre en évidence un corpus de construction élémentaire (Séquences, affectation, conditionnelles, boucles...)
  • Proto-typer une fonction. Décrire les préconditions sur les arguments. Décrire des postconditions sur les résultats.
  • Utiliser des jeux de tests.