Plongez dans le jeu NIM, en enseignant les stratégies gagnantes à l'aide d'algorithmes et en soulignant l'importance de la synchronisation entre les joueurs.
Couvre la programmation assistée par solveur, intégrant les résolveurs SMT pour la vérification, la synthèse et le débogage des programmes, ainsi que les défis dans la construction d'outils assistés par solveur.
Couvre des exemples liés à la programmation de course pour les ingénieurs, en se concentrant sur les valeurs des variables, le débogage et les registres à décalage.
