Couvre les fonctions, la différenciation, les extensions Taylor et les intégrales, fournissant des concepts fondamentaux et des applications pratiques.
Couvre les types polymorphes dans Amy, y compris les règles Hindley-Milner, les schémas de type, l'instanciation et la gestion des variables de type dans les fonctions.
Couvre les principes fondamentaux de l'analyse complexe, en se concentrant sur les fonctions complexes, leurs propriétés et leurs applications dans la résolution d'équations différentielles.
Explore la signification de la notation dans l'Analyse III à travers des exemples d'équations de flux de cisaillement et de rotation, en mettant l'accent sur la signification des champs vectoriels et des intégrales de lignes.