Couvre les concepts et la mise en œuvre de la programmation fonctionnelle dans Scala, mettant l'accent sur les fonctions, les données immuables et l'abstraction des données.
Couvre les fonctions de la programmation C, mettant l'accent sur la réutilisabilité et la réduction des erreurs grâce à une structure de fonction appropriée.
Couvre la récursion de la queue, optimisant les fonctions dans Scala pour les processus itératifs et fournissant des exemples tels que la factorielle récursive de la queue.
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 en Python, couvrant les fonctions prédéfinies et définies par l'utilisateur, les paramètres formels et efficaces, et l'importance des docstrings.
Couvre la modélisation des instructions de contrôle avec des fonctions dans Scala, y compris les boucles while, les boucles de répétition et la traduction for-loops.
Se concentre sur l'utilisation d'Inox pour la vérification des programmes, en démontrant le processus de vérification des programmes et en assurant l'exactitude.
Explore l'interprétation des modèles, la compilation par l'évaluation partielle, les appels de fonctions et la transition vers l'évaluation partielle, en soulignant l'importance des interprètes modèles pour soutenir les langages de modélisation.
Explore la conception d'algorithmes avec récursion et programmation dynamique, couvrant des concepts comme les Tours de Hanoi et des solutions efficaces.
