Explore les défis dans la conception de systèmes avec des composants peu fiables, se concentrant sur la vérification, l'analyse limitée et la synthèse des contrôleurs.
Couvre les espaces normés, les espaces doubles, les espaces de Banach, les espaces de Hilbert, la convergence faible et forte, les espaces réflexifs et le théorème de Hahn-Banach.
Couvre les critères de convergence pour les séquences, en se concentrant sur la définition de la convergence et les propriétés des séquences convergentes.