Concept
Logarithme binaire
Séances de cours associées (47)
Composition des fonctions: Application et fonctions réciproques
Couvre la composition des fonctions et des fonctions réciproques, avec des exemples et des formules sur les logarithmes et les fonctions bijectives.
Complexité des algorithmes
Explore la complexité des algorithmes, y compris la notation big-O et l'analyse de l'efficacité.
E-voting : vérification individuelle
Explore la vérifiabilité individuelle dans le système de vote électronique, couvrant les protocoles vérifiables, les preuves de zéro connaissance et l'intégrité du vote.
Volume spécifique et expansion thermique
Explique les calculs spécifiques de volume et de dilatation thermique avec les changements de température.
Théorème de Bourgain : Frechet Embedding et Lemme
Présente le théorème de Bourgain et un lemme lié à des sous-ensembles.
TR convergence globale (fin) + CG
Couvre la méthode de la région de confiance et introduit la méthode des gradients conjugués tronqués.
Preuve du lemme principal
Couvre la preuve du lemme principal et ses propriétés mathématiques.