Couvre les types de données avancés et la gestion de la mémoire en programmation C, en mettant l'accent sur la cohérence des types et l'allocation dynamique des tableaux.
Couvre les concepts fondamentaux de programmation et de programmation orientée objet en Java, y compris les variables, les types, les structures de contrôle et les concepts algorithmiques de base.
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 les fonctionnalités de base de la programmation orientée objet, y compris la répartition dynamique, l'encapsulation, l'héritage et le sous-typage, en utilisant des exemples Java et des informations pratiques.
Couvre les blocs, les fonctions et les références en C++, y compris la portée, les variables, l'utilisation des fonctions, les interfaces, les pointeurs et les références.
