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.
Couvre les structures de contrôle, les boucles et les fonctions en langage C, en soulignant l'importance des variables locales et en évitant les variables globales.
Introduit les fondamentaux des fonctions dans la programmation des microcontrôleurs, en mettant l'accent sur les règles de nommage et le développement étape par étape.
