Couvre les bases de la compilation et de la programmation C ++, y compris les variables, les fonctions, les boucles et le débogage.
Couvre les bases de scripts Python, les types de variables, les opérations arithmétiques et les scripts en cours d'exécution dans le terminal.
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.
Se concentre sur le développement de votre projet après l’avoir encadré en fonction de contraintes.
Se concentre sur les fonctions Matlab/Octave, couvrant les conventions de nommage, les valeurs retournées, le débogage et l'indexation logique.
