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.