Cours, TD et TP de preuves de programmes - IRIF

Corrigé. 1eS3. Exercice 1 (Fonction cube). On appelle fonction cube la fonction définie sur R par x ?? x3. (a) Conjecturer, à l'aide de la calculatrice, les ...