Présente des preuves informelles, explore les applications pratiques et explique les preuves de théorème en utilisant des méthodes directes et indirectes.
Introduit des preuves informelles et leurs applications pratiques en informatique et en mathématiques, en soulignant l'importance de prouver des théorèmes par des méthodes directes et indirectes.
Explore la différenciation sous le signe intégral et les conditions de différenciation, avec des exemples et des extensions aux fonctions à intervalles ouverts.
Couvre les limites de Caratheodory pour la programmation d'entiers, en se concentrant sur la programmation linéaire et l'existence de solutions optimales.