Couvre les bases de la programmation, y compris le cycle de développement d'un programme, forte dactylographie, stockage de données dans les variables Java, et les types de données primitives.
Couvre les techniques de débogage des logiciels, mettant l'accent sur le diagnostic efficace des problèmes, la collecte d'information et les processus de débogage structurés.
Explore la méthodologie des éléments finis, couvrant la modélisation géométrique, les données techniques, les hypothèses de comportement physique et les études de convergence des maillages.
Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.
Couvre les concepts fondamentaux et les défis de l'héritage multiple dans la programmation orientée objet, fournissant des exemples pratiques et des explications.
