Séance de cours
Cette séance de cours présente le concept de récurrence à travers une série d'exemples, en commençant par une fonction récursive simple. Il explore la relation entre les points de fixation des fonctions réelles et le moindre point de fixation dans la théorie de la récursion. La séance de cours couvre également la signification de la récursion dans les procédures, le raisonnement modulaire pour les fonctions récursives et la vérification des spécifications. En outre, il se penche sur plusieurs procédures, en se concentrant sur les fonctions fonctionnant sur des paires de relations et les implications des points fixes les moins importants. Le contenu met l'accent sur la compréhension des fonctions récursives et de leurs applications dans divers contextes.