Concept
Assistant de preuve
Séances de cours associées (220)
Convergence de la matrice induite
Couvre la convergence des matrices induites et des phénomènes advection-diffusion.
Chaînes et applications Markov
Explore les chaînes de Markov et leurs applications dans des algorithmes, en se concentrant sur l'impatience des utilisateurs et la génération d'échantillons fidèles.
Espaces de mesure: mesures de O-finite et de probabilité
Explore les espaces de mesure finis et finis, les mesures de probabilité et les inégalités, en concluant avec l'exhaustivité de l'espace LP.
Structure des algèbres
Couvre la structure des algèbres dimensionnelles finies et la caractérisation des algèbres semi-simples.
Mesures d'information
Couvre les mesures d'information comme l'entropie et la divergence Kullback-Leibler.
Inégalités de concentration
Couvre les inégalités de concentration et les méthodes d'échantillonnage pour estimer les distributions inconnues, en mettant l'accent sur les taux d'infection de la population.
Convergence des séries Fourier
Explore la convergence des séries de Fourier dans l'espace L2 avec les polynômes trigonométriques et les théorèmes d'approximation.
Fonctions caractéristiques: Définition et propriétés
Couvre les fonctions caractéristiques des variables aléatoires et leurs propriétés, y compris l'indépendance et la convergence.
Théorème de convergence de Martingale: Preuve et temps d'arrêt
Explore la preuve du théorème de convergence de martingale et le concept de temps d'arrêt dans les martingales intégrables carrées.
Dérivés de distribution
Explore les dérivés de distribution, la continuité, la limite des opérateurs linéaires et la continuité faible-*.