Séances de cours associées à Déterminants et forme d'Échelon de ligne

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

Explore les transformations linéaires, les matrices et leurs applications pratiques dans divers contextes.

Explore la théorie des martingales, y compris les attentes conditionnelles, les limites de Chernoff et l'inégalité d'Azuma.

Explique le noyau, l'image et les cartes linéaires, illustrant les concepts avec des exemples.