Séances de cours associées à Ensembles et structures définis récursivement

Conversion de fermeture : Représentation et transformation

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.

Total Order Relation: Propriétés des nombres réels

Couvre le concept de relation d'ordre total et les propriétés des nombres réels.

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.

Propriétés de la division

Couvre les propriétés de la division en entiers et la relation entre la divisibilité et les quotients uniques.

Arithmétique modulaire: présentation de Z/mZ

Introduit Z/mZ pour l'écriture d'équations avec des classes de congruence en arithmétique modulaire.