Couvre la traduction efficace des structures de flux de contrôle en utilisant les paramètres de destination de branche et la compilation des instructions de commutateur avec des pauses.
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.
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 pendant et pour les boucles, y compris les boucles infinies, continuez, passez, et les déclarations de rupture, avec des exemples et des exercices.
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.
Couvre les concepts fondamentaux des boucles et itérations dans la programmation, y compris les boucles conditionnelles, pour les boucles, tandis que les boucles, cassent et poursuivent les énoncés.
