Séances de cours associées à Théorème des fonctions implicites

Preuves : Logique, Mathématiques et Algorithmes

Explore les concepts, les techniques et les applications de la preuve dans la logique, les mathématiques et les algorithmes.

Équidistribution des points CM

Couvre l'équidistribution conjointe des points CM dans les structures algébriques et les formes quadratiques.

Découpe la plus rapide: (log n) Algorithme d'approximation

Couvre l'algorithme d'approximation (log n) pour le problème de coupe la plus clairsemée, en présentant les théorèmes mathématiques et les preuves.

Formule de Taylor: Convexité, points d'inflexion

Explore la formule de Taylor, le caractère unique de la série Taylor, le théorème de la valeur moyenne, les points d'inflexion et la convexité.

Équations de Cauchy et décomposition intégrale

Couvre l'application des équations de Cauchy et de la décomposition intégrale, en abordant les questions liées aux fonctions holomorphes et aux matrices jacobines.

Analyse I : Formes indéterminées et rôle des gendarmes

Couvre les formes indéterminées, les fonctions logarithmiques et le théorème du «rôle des gendarmes».

Théorème de Green en 2D : applications

Explore les applications du Théorème de Green en 2D, soulignant l'importance des domaines réguliers pour une intégration réussie.

Théorème de Cauchy-Lipschitz

Explore le théorème de Cauchy-Lipschitz pour des équations différentielles et sa preuve.

Théorème de Stokes

Couvre le théorème de Stokes, étendant le théorème de Green aux surfaces de R3 et expliquant son application.

Théorème des valeurs intermédiaires

Explore le Théorème des valeurs intermédiaires pour des fonctions continues à intervalles fermés.

Groupes fondamentaux

Explore les groupes fondamentaux, les classes d'homotopie et les revêtements dans les variétés connectées.

Curve Integrals: Gauss/Green Theorem

Explore l'application du théorème Gauss/Green pour calculer les intégrales de courbes le long de simples courbes fermées.

Courbes fermées et espaces topologiques

Explore les courbes fermées dans les espaces topologiques, en mettant l'accent sur leurs propriétés et leur importance en mathématiques.

Logique formelle: preuves et ensembles

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

Sans titre

Collisions élastiques et inélastiques : énergie cinétique et travail

Explore les collisions élastiques et inélastiques, la conservation cinétique de l'énergie et les principes de travail avec des exemples pratiques.

Formule d'inversion de Fourier

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

Indépendance linéaire : le concept Wronskian

Explique le Wronskian et son rôle dans la détermination de l'indépendance linéaire des solutions aux équations différentielles.

Introduction à Coq: Expressions arithmétiques et évaluateurs

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