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.