Explore l'efficacité de la table de hachage, les fonctions totales dans la modélisation de code et les relations bien fondées pour la terminaison des fonctions récursives.
Couvre la mise en œuvre de fonctions récursives à l'aide de substitutions et d'environnements, montrant la capacité d'exécuter des fonctions calculables.
Introduit des fonctions définies récursivement et démontre comment calculer des valeurs et prouver des propriétés en utilisant l'induction mathématique.
Explore la mutation sécuritaire dans la programmation fonctionnelle grâce à une évaluation paresseuse, à des invariants d'objets et à des fonctions de cache efficaces.
Explore le langage d'assemblage MIPS, couvrant les appels de fonctions, la gestion de la mémoire et les structures de données, y compris les fonctions récursives, les constructions de programmation, les tableaux et les listes liées.
Présente un interpréteur basé sur l'environnement pour les fonctions récursives, optimisant l'évaluation grâce à des liaisons de paramètres et éliminant le besoin de substitutions explicites.
Couvre les blocs, les fonctions et les références en C++, y compris la portée, les variables, l'utilisation des fonctions, les interfaces, les pointeurs et les références.
Explore le filtre de Kalman variable dans le temps, l'estimation de l'état, les défis liés au conditionnement des sorties mesurées et l'importance des transformations affines.
