• Votre sélection est vide.

    Enregistrez les diplômes, parcours ou enseignements de votre choix.

Logique et ensembles (MATH105_MPC)

  • Composante

    UFR Sciences et Montagne

Description

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

Lire plus

Objectifs

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

Lire plus

Heures d'enseignement

  • Logique et ensembles - CMCours Magistral12h
  • Logique et ensembles - TDTravaux Dirigés15h

Pré-requis obligatoires

Mathématiques des classes terminales scientifiques.

Lire plus

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.

Lire plus

Compétences visées

Utilisation de l'abstraction.

Comprendre et produire une démonstration.

Lire plus