Séances de cours associées à Dérivabilité et continuité

Équations non linéaires : Convergence de la méthode des points fixes

Couvre la convergence des méthodes de points fixes pour les équations non linéaires, y compris les théorèmes de convergence globale et locale et lordre de convergence.

Dérivabilité et règle de la chaîne

Couvre la démonstration de la règle de la chaîne et le théorème de Rolle.

Coq: Introduction

Présente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.

Transport optimal : analyse et preuves

Explore l'analyse et les preuves de transport optimales, en mettant l'accent sur la faible convergence et la compacité.

Concept de preuve en mathématiques

Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.

Théorèmes en analyse

Couvre le théorème de Meyers-Serrin en analyse, en discutant des conditions des fonctions dans différents espaces.

Dérivabilité et limites en analyse I

Explore la dérivéabilité, limite le calcul et les propriétés des fonctions dans l'analyse I.