En cours on nous a donné un algorithme dont on doit faire la preuve (une preuve par induction), or je ne sais pas par où commencer car dans les différents exemples que l'on a eu en cours, ça n'a toujours été que sur une seule variable, or dans ce programme (qui développe le nombre a dans la base b, a et b étant des entiers supérieur ou égal à 0). Voici le programme :
Dev(a, b) :
si (a < b)
renvoie a
sinon
afficher (a modulo b)
renvoie Dev(a/b, b)
Fin Dev
Je ne demande pas la solution mais qu'on m'aide, c'est-à-dire comment trouver la base de la récurrence pour pouvoir commencer s'il vous plaît, je pense que la base doit commencer par a = 0 si c'est le cas quelle est la valeur de b s'il vous plaît ?
je vous remercie d'avance et vous souhaite une bonne journée !
Salut Ksass'Peuk et merci de ta réponse et du coup oui c'est logique que la base est a < b car c'est la condition d'arrêt merci de ton aide et bonne journée
Preuve par induction
× Après avoir cliqué sur "Répondre" vous serez invité à vous connecter pour que votre message soit publié.
× Attention, ce sujet est très ancien. Le déterrer n'est pas forcément approprié. Nous te conseillons de créer un nouveau sujet pour poser ta question.
Posez vos questions ou discutez informatique, sur le Discord NaN | Tuto : Preuve de programmes C