Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.
Explore le transfert de chaleur dans les fenêtres et les revêtements, analyse la transmission spectrale, la réflectance et l'absorbance dans divers scénarios.
Explore la méthode des moments, le compromis biais-variance, la cohérence, le principe de plug-in et le principe de vraisemblance dans lestimation de point.
