Explore les cartes, les opérateurs de type, l'équivalence, les types de première classe, System Fw, Coq, et les défis de la vérification de type dans les langages de programmation.
Explore la différenciation sous le signe intégral et les conditions de différenciation, avec des exemples et des extensions aux fonctions à intervalles ouverts.
Couvre les opérations de base sur les tableaux et les fonctions de Matlab, y compris la création de tableaux, les opérations arithmétiques et les définitions de fonctions.
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.
