Preuves : Logique, Mathématiques et Algorithmes

Séances de cours associées (30)

Page 3 sur 3

Explore les propriétés du sous-ensemble, la contradiction et l'équivalence en algèbre linéaire.

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

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.

Couvre les bases des ensembles et des opérations en mathématiques, des propriétés des ensembles aux opérations avancées.

Explore les formes harmoniques sur les surfaces de Riemann, couvrant l'unicité des solutions et l'identité bilinéaire de Riemann.

Explore les règles d'inférence, les déclarations quantifiées et les méthodes de preuve en logique et en mathématiques.

Couvre les distributions, les dérivés, la convergence et les critères de continuité dans les espaces de fonctions.

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