Couvre la preuve du théorème ARV de Bourgain, en se concentrant sur lensemble fini de points dans un espace semi-métrique et lapplication de lalgorithme ARV pour trouver la coupe la plus clairsemée dans un graphique.
Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.
Explore les problèmes variationnels, en mettant l'accent sur les conditions de convexité et de coercivité dans les fonctions avec des contraintes latérales intégrales.
Explore les théorèmes de Mertens sur les estimations des nombres premiers et le comportement de la fonction de Mobius par rapport au théorème des nombres premiers.
Présente les bases de la conception de services, y compris les modèles et les processus clés, le cadrage des problèmes, la co-création et la cartographie du parcours client.
Explore la moyenne, la variance, les fonctions de probabilité, les inégalités et divers types de variables aléatoires, y compris les distributions binomiale, géométrique, Poisson et gaussienne.
