Couvre les fonctions, la différenciation, les extensions Taylor et les intégrales, fournissant des concepts fondamentaux et des applications pratiques.
Explore les preuves mathématiques historiques, les problèmes de décision, les systèmes de déductibilité, les preuves probabilistes et quantiques, et les systèmes de preuve interactifs.
Explore le théorème de Darboux pour des fonctions continues à intervalles fermés, mettant l'accent sur la continuité uniforme et les implications de comportement de fonction.
