Explore l'inférence de type dans les langages typés statiquement, en utilisant des algorithmes pour attribuer des types aux expressions de programme avec précision.
Couvre les repères, les systèmes de coordonnées, les cadres et la terminologie en coordonnées, en mettant l'accent sur les angles géométriques et les vecteurs orthogonaux.
Couvre la dérivation des équations de dynamique des fluides, y compris la conservation de masse et les relations stress-déformation, à travers lanalyse différentielle et les concepts mathématiques clés.
