Séances de cours associées à Euclid et Bézout: Algorithmes et Théorèmes

Introduction aux algorithmes

Présente des algorithmes en tant que procédures de résolution de problèmes, couvrant la complexité, l'exactitude et la mise en œuvre dans divers langages.

Composition des fonctions et nombres entiers

Couvre la composition des fonctions et les entiers, y compris les propriétés et les exemples.

Preuves : Logique, Mathématiques et Algorithmes

Explore les concepts, les techniques et les applications de la preuve dans la logique, les mathématiques et les algorithmes.

Fonctions et entiers

Couvre les fonctions, les entiers, le GCD et le raisonnement par récurrence, y compris l'algorithme euclidien et le principe d'induction.

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

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