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

Introduction aux preuves

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (55)

Convexité géodésique : théorie et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la convexité géodésique dans les espaces métriques et ses applications, en discutant des propriétés et de la stabilité des inégalités.

Fonctions harmoniques sub/super Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les fonctions sub/super harmoniques et leurs applications dans un contexte théorique.

Solutions fondamentales Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les solutions fondamentales dans les équations aux dérivées partielles, en soulignant leur importance dans les applications mathématiques.

Zig Zag Lemma Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le lemme Zig Zag et la longue séquence exacte de l'homologie relative.

Preuve de la formule explicite Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la preuve de la formule explicite pour la non-disparition de la fonction zêta à la ligne 1.

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.

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.

Propositions inductives : Techniques de raisonnement et d’évaluation Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des propositions inductives, de leurs définitions et de leurs applications dans les techniques de raisonnement et d'évaluation dans Coq.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

Intégration par substitution Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'intégration par substitution avec des preuves et des exemples sur les anti-dérivés et l'équivalence des fonctions.

Logique formelle: preuves et ensembles Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la logique formelle, en se concentrant sur les expressions logiques et les preuves mathématiques.

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.

Techniques d’optimisation : Extrema local et global Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des techniques d'optimisation, en se concentrant sur les extrema locaux et globaux dans les fonctions.

Homologie relative: Séquence exacte Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la longue séquence exacte des groupes d'homologie relative et des complexes de chaînes.

Espaces de distribution et d'interpolation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les espaces de distribution et d'interpolation, en montrant leur importance dans l'analyse mathématique et les calculs impliqués.

Monstrueux Moonshine Connectez-vous à Mediaspace pour regarder cette vidéo

Explore Monstrous Moonshine, en se concentrant sur la découverte de 1979 et ses connexions mathématiques.

Transformée de Fourier : propriétés et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les propriétés et les applications de la transformée de Fourier et sa relation avec le principe d'incertitude de Heisenberg.

Problèmes de variation : quasi-convexité Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la théorie de la quasi-convexité dans les problèmes variationnels de la mécanique du continuum, en discutant de ses principes, de ses applications et de sa relation avec la convexité.

Lipschitz Cartes et domaines compacts Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les cartes Lipschitz, les domaines compacts, les variables changeantes, les problèmes de comptage et la probabilité des idéaux.

Introduction à Coq: Expressions arithmétiques et évaluateurs Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de Coq, en se concentrant sur les expressions arithmétiques, l'évaluation et les techniques de preuve.

Page 2 sur 3