Introduit des approches déterministes pour identifier les nombres premiers et couvre les algorithmes et l'arithmétique modulaire pour les essais de nombres premiers.
Explore le Petit Théorème de Fermat, ses extensions, ses algorithmes de test de primalité, et la signification des nombres premiers dans la cryptographie.
Explore la vérification des programmes en utilisant l'inox, en mettant l'accent sur l'exactitude fonctionnelle, les assistants d'épreuve et l'automatisation des tâches de raisonnement.
Explore l'arithmétique modulaire, la congruence et la manipulation des nombres dans un contexte mathématique, mettant en valeur la puissance de la réduction modulaire et les astuces de la réduction des nombres.
Couvre les algorithmes pour les grands nombres, Z_n et les ordres dans un groupe, en expliquant les opérations arithmétiques et les concepts cryptographiques.
