Couvre la mise en œuvre de MATLAB et Octave pour les débutants, y compris les fonctions pour demander des axes, tracer des ellipses, charger des fichiers et modifier des axes.
Couvre l'architecture Model-View-Controller pour les programmes graphiques interactifs, en mettant l'accent sur la séparation des préoccupations et les rôles du modèle, de la vue et du contrôleur.
Se concentre sur l'utilisation d'Inox pour la vérification des programmes, en démontrant le processus de vérification des programmes et en assurant l'exactitude.
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.