Séances de cours associées à Théorie oméga-cohérente

Introduction aux types et aux relations inductives

Explore l'importance des types dans la programmation et discute des systèmes de types malsains et des relations inductives.

Sans titre

Théorie statistique : estimation maximale de vraisemblance

Explore la cohérence et les propriétés asymptotiques de l’estimateur de vraisemblance maximale, y compris les défis à relever pour prouver sa cohérence et construire des estimateurs de type MLE.

Sans titre