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.
Explore les défis dans la communication humaine, l'importance du contexte, les problèmes de compression, la fonctionnalité incertaine et la vérification des preuves.
Introduit des séquences de nombres réels, des notations, des propriétés et des séquences récursives avec des exemples et des représentations graphiques.
