UE Outils du discret

Logique, tables de vérité, version ensembliste et syllogismes.

Construction axiomatique des ensembles d'entiers et des opérations, axiomes de Peano, propriétés de groupe et d'anneau de Z.

Représentation des nombres sur ordinateur.

Eléments de complexité.

Classes d'équivalence et arithmétique modulaire, PGCD et théorème de Bézout, primalité.

Dénombrements.

Consolider les raisonnements logiques, comprendre le rôle du principe de récurrence et de l'axiomatisation des opérations dans la construction des nombres, comprendre les nuances entre représentation des nombres et essence de ces nombres, aborder via l'arithmétique modulaire les questions primordiales des structures algébriques, prendre conscience des notions de complexité et de dénombrement pour les estimations d'ordre de grandeur.

• Comprendre un raisonnement  utilisant des outils mathématiques