Couvre le théorème du point fixe et la convergence de la méthode de Newton, en soulignant l'importance du choix de la fonction et du comportement de la dérivée pour une itération réussie.
Couvre la sémantique des langages de programmation, en se concentrant sur le langage Add et le rôle des règles de réécriture et des machines CK dans la compréhension du sens.
Explore les équations non linéaires, la bisection, les méthodes de points fixes, le contrôle des erreurs et les interprétations graphiques des points fixes.
Explore les théorèmes à points fixes, les séquences récurrentes et les propriétés de convergence, en mettant l'accent sur la signification des points fixes dans l'analyse.
