Passer au contenu principal

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

Graph
Search

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Groupes Heisenberg: Introduction

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (39)

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.

Convergence des séries Fourier Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Formule d'inversion de Fourier Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la formule d'inversion de Fourier, explorant ses concepts mathématiques et ses applications, soulignant l'importance de comprendre le signe.

Préliminaires en théorie des mesures Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les préliminaires de la théorie de la mesure, y compris les concepts de loc comp, de séparable, d'espace métrique complet et d'étanchéité.

Transport optimal : Équation thermique et espaces métriques Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le transport optimal dans les équations de chaleur et les espaces métriques.

Analyse IV : Ensembles et propriétés mesurables Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le concept de mesure externe et les propriétés des ensembles mesurables.

Approximation dans les espaces de Sobolev Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'approximation des fonctions dans les espaces de Sobolev en utilisant des fonctions lisses.

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

Propriétés des dérivés faibles Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les dérivés faibles dans les espaces de Sobolev, en discutant de leurs propriétés et de leur unicité.

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.

Chimie quantique: Corrections en matière d'énergie Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'approximation systématique des corrections d'énergie dans la chimie quantique.

Optimisation limitée : les bases Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de l'optimisation contrainte, y compris les directions tangentes, les sous-problèmes de la région de confiance et les conditions d'optimalité nécessaires.

Méthode de l'orthogonalité et des moindres carrés Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les vecteurs orthogonaux, les vecteurs unitaires et le théorème de Pythagore en Rm.

Théorème du nombre premier Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la preuve du théorème des nombres premiers et ses implications dans la théorie des nombres.

Hoare Logic: Fondements et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.

Théorie des opérateurs liés sur l'espace de Hilbert Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la théorie des opérateurs bornés sur l'espace de Hilbert, y compris les propriétés adjointes et l'auto-adjointité.

Produit scolaire: Propriétés géométriques Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le produit scolaire et les propriétés géométriques des vecteurs dans l'espace.

Théorème de la valeur moyenne (Mittelwertsatz)Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le théorème de la valeur moyenne dans le calcul différentiel, en se concentrant sur les points critiques et les extrema globaux dans les intervalles.

Assistant à la preuve de la LISA : formalisation et vérification Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'organisation de la base de code de l'assistante d'épreuve LISA, le paquet noyau, la formalisation FOL et le paquet d'épreuves.

Page 2 sur 2