Couvre la mise en œuvre et les opérations des structures de données de base telles que les piles, les files d'attente et les listes liées, et introduit des arbres de recherche binaires.
Couvre les opérations matricielles, y compris la multiplication, la transposition, les pouvoirs et les inverses, et explique comment déterminer si une matrice est invertible.
Couvre la preuve de l'inversibilité d'une matrice en montrant que la transposée de la matrice multipliée par elle-même aboutit à une matrice d'identité.
Explore les tests basés sur des propriétés en utilisant QuickChick, en mettant l'accent sur l'exactitude des logiciels, les spécifications et le contrôle dynamique du flux d'information.
Explore les transformations linéaires, les matrices, les propriétés injectables, surjectives et bijectives, les opérations matricielles et les types de matrices spéciaux.
Explore la diffusion fiable dans des systèmes distribués, présentant des spécifications, des algorithmes et des propriétés pour différents types de diffusion.
Explore la correspondance en ligne dans des environnements en évolution, en abordant les défis et les solutions pour adapter les algorithmes à l'évolution des données.