Concept
Analyse constructive
Séances de cours associées (33)
Cristallographie: Description des structures périodiques
Couvre la cristallographie, les structures en treillis, les vecteurs et les motifs de diffraction.
Théorème de Lagrange: Applications et preuves
Couvre l'application et la preuve du théorème de Lagrange en théorie des groupes.
Séquences de Cauchy et induction
Couvre les séquences de Cauchy, la convergence et l'induction dans l'analyse mathématique.
Fonctions Lipschitz locales
Explore localement les fonctions de Lipschitz, discutant de la différentiabilité, des solutions uniques et de la réduction des fonctions.
Generalized Integral: Critères de comparaison et série Taylor
Explore les critères de convergence des séries, les intégrales généralisées et les applications des séries Taylor.
Formules logiques et types: comprendre l'isomorphisme de Kerry Howard
Explore l'isomorphisme de Kerry Howard, traduisant des propositions logiques en types et en termes, en mettant l'accent sur la preuve par induction et la préparation à l'examen.
Cauchy-Folgen: Induction
Couvre les séquences de Cauchy, l'induction, les séquences récursives et la convergence en analyse mathématique.
Espaces de distribution et d'interpolation
Explore les espaces de distribution et d'interpolation, en montrant leur importance dans l'analyse mathématique et les calculs impliqués.
Analyse avancée II: différenciation et continuité
Explore la différenciation et la continuité dans l'analyse avancée, en soulignant l'importance de la continuité et en démontrant les concepts clés.
Preuve des propriétés de la fonction Delta
Explore la preuve des propriétés liées à la fonction delta en analyse mathématique.