Introduction aux preuves

Séances de cours associées (29)

Page 3 sur 3

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

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

Explore l'axiome de la séparation du plan en deux demi-plans et le concept de points intérieurs.

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

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

Explore les formes harmoniques sur les surfaces de Riemann et l'unicité des solutions aux équations harmoniques.

Couvre la preuve de la formule explicite pour la non-disparition de la fonction zêta à la ligne 1.

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.

Couvertures dérivant des intégrales avec des paramètres et leurs dérivés, y compris les cas spéciaux et les preuves.