Couvre le redécoupage, une méthode pour convertir des ensembles de données 3D en images 2D en extrayant des valeurs d'intensité le long d'une ligne, et ses applications dans l'analyse des objets en mouvement et des relations spatiales.
Couvre les grammaires sans contexte, y compris la définition des symboles non terminaux et terminaux, les règles pour générer des chaînes, et le concept de dérivations.
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.
Explore les conteneurs et algorithmes standard de la bibliothèque C++, y compris les tables associatives, les piles, les files d'attente et la génération de nombres aléatoires.
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 dualité d'assemblage dans les microcontrôleurs, couvrant les opérations de bits, les techniques de masquage, les macros, les sous-programmes et la gestion des piles.
