Explore le langage d'assemblage MIPS, couvrant les appels de fonctions, la gestion de la mémoire et les structures de données, y compris les fonctions récursives, les constructions de programmation, les tableaux et les listes liées.
Explore la conversion de programmes impératifs en formules de vérification, couvrant les affectations, les instructions if-else et les points-virgules de commande.
Couvre les débits de commande en C, y compris les débits de commande et les débits de commutation pour la prise de décision et la comparaison des valeurs.
Couvre les branchements conditionnels en C++, en se concentrant sur les instructions if-else et switch-case, les opérateurs logiques et les structures de contrôle.
Couvre les concepts de contrôle de flux et les opérations d'entrée/sortie de fichiers, y compris les boucles, les conditions et la gestion des arguments de ligne de commande.
