Séances de cours associées à Physique quantique computationnelle

Introduit la notation Convex Optimization, les fonctions convexes, les normes vectorielles et les propriétés matricielles.

Couvre les valeurs propres, les vecteurs propres et les similarités matricielles pour les systèmes dynamiques.

Explore la convexité géodésique dans les espaces métriques et ses applications, en discutant des propriétés et de la stabilité des inégalités.

Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.