Logique et ensembles (MATH105_MPC)
Présentation
Introduction des outils logiques élémentaires, des bases de la théorie des ensembles et révision des connaissances sur les nombres entiers.
Objectifs
Initiation au raisonnement mathématique abstrait à travers des démonstrations mathématiques simples.
Heures d'enseignement
| Cours Magistral | 12h |
Pré-requis obligatoires
Mathématiques des classes terminales scientifiques.
Plan du cours
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.
Compétences visées
Utilisation de l'abstraction.
Comprendre et produire une démonstration.
Contacts
