Couvre la vectorisation, les fonctions et le contrôle de flux dans Matlab, en soulignant l'importance d'éviter les variables globales et en fournissant des exemples de graphiques simples et de techniques de débogage.
Explore le sous-typage, le calcul de type et le calcul de limites de type dans un système avec sous-typage, guidant à travers des exercices et des preuves étape par étape.
