Logique et ensembles (MATH105_MPC)

Introduction des outils logiques élémentaires, des bases de la théorie des ensembles et révision des connaissances sur les nombres entiers.

Initiation au raisonnement mathématique abstrait à travers des démonstrations mathématiques simples.

Mathématiques des classes terminales scientifiques.

Langage mathématique. Énonces et démonstrations mathématiques

Ensembles. Opérations sur les ensembles, relations binaires (relations d'équivalence et relations d'ordre), applications, lois de composition interne, nombres entiers (raisonnement par récurrence) et dénombrements.

Utilisation de l'abstraction.

Comprendre et produire une démonstration.