Fonctions totales : comment et pourquoi

Cette séance de cours traite de l'efficacité des tables de hachage, de l'importance des fonctions totales dans la modélisation du code et de l'utilisation de relations bien fondées pour assurer la terminaison des fonctions récursives. Il couvre également le concept de points fixes et limportance des fonctions totales dans les cadres de preuve.