Séance de cours

Récidive et induction : prouver les algorithmes correctement

Description

Cette séance de cours couvre les concepts de récurrence et d'induction, en mettant l'accent sur la preuve de l'exactitude des algorithmes récursifs par induction mathématique. Il explique les différences entre récursion et itération, illustrant avec des exemples comme la fonction de Fibonacci et des algorithmes itératifs pour calculer les nombres de Fibonacci.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.