Discute de la représentation des données au moyen de modèles et de systèmes, couvrant les modèles mathématiques, les structures de données, les niveaux de modélisation et la gestion des données.
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 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.
Fournit un aperçu du cours d'analyse numérique à l'EPFL, en se concentrant sur l'organisation du cours, les matériaux et les résultats d'apprentissage.