Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Récursivité mathématique : Induction et récursivité

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (51)

Théorie statistique : estimation maximale de vraisemblance Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Intégration sur H_pxH et Arithmétique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'intégration sur H_pxH et les propriétés arithmétiques, y compris les normes, les structures et la factorisation polynôme.

Encodeur et décoder pour les codes sans préfixe Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la mise en œuvre et la vérification de l'encodeur et du décodeur pour les codes sans préfixe, y compris les classes et les types, les lemmas sur les arbres, et le théorème principal.

Propositions inductives : comprendre l’évaluation dans Coq Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Fonctions complexes : équivalence de norme Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'équivalence des normes dans les fonctions complexes, couvrant l'homogénéité et l'inégalité triangulaire.

Introduction aux scripts de preuve: bases de Ltac Connectez-vous à Mediaspace pour regarder cette vidéo

Présente les bases du script de preuve en Coq, en se concentrant sur le langage Ltac et ses tactiques pour gérer efficacement les preuves.

Intégration complexe et théorème de Cauchy Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de l'intégration complexe et du théorème de Cauchy, en se concentrant sur les intégrales le long des courbes dans le plan complexe.

Géodésiques dans l'espace de Wasserstein Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les géodésiques dans l'espace de Wasserstein, en mettant l'accent sur les géodésiques à vitesse constante et leurs propriétés.

Preuve d’une forte dualité Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la preuve d'une forte dualité dans les problèmes d'optimisation et fournit des exemples d'optimisation du quotient de Rayleigh.

Calcul des variations: quelques sujets Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre des sujets fondamentaux dans le calcul des variations, y compris les minimiseurs et l'équation d'Euler-Lagrange.

Approximation diophantienne : le théorème de Minbowski Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le théorème de Minbowski sur l'approximation diophantienne et l'orthogonalisation de Gram-Schmidt.

Page 3 sur 3