Telecharger Cours

Cours, TD et TP de preuves de programmes

Pour démontrer qu'un programme termine, on vérifie que les appels récursifs se font sur des entiers de plus en plus petits et que f(0) termine. Exercice 5. 1.



Download