Explore la gestion des fichiers et les exceptions dans la programmation Python, couvrant la lecture, l'écriture et les stratégies de gestion des erreurs.
Couvre les méthodes itératives pour trouver des points fixes de fonctions, en se concentrant sur les calculs de racine carrée et la puissance des fonctions en tant que valeurs de retour.
Couvre le calcul lambda simplement typé, en se concentrant sur sa syntaxe, sa sémantique et ses propriétés de système de type telles que le progrès et la préservation.
