Explore la représentation et la transformation des valeurs, en se concentrant sur la conversion de fermeture et les défis de la représentation des fonctions dans les langages fonctionnels.

Techniques logiques et de preuve

Couvre les entiers, les rationnels, la logique, les techniques de preuve, les fonctions et les relations à l'aide d'exemples et de tables de vérité.

Théorie des nombres : plus grand diviseur commun et factorisation principale

Introduit le plus grand diviseur commun, la factorisation principale et l'algorithme euclidien.

Fonctions Différenciables et Multiplicateurs de Lagrange

Couvre les fonctions différenciables, les points extrêmes et la méthode du multiplicateur de Lagrange pour l'optimisation.

L'algorithme de Shor : les entiers de factoring

Couvre les bases de l'algorithme de Shor pour factoriser les entiers et les étapes impliquées dans l'algorithme quantique.