Abschnittsübersicht

    • Complément de cours utile sur les sommes

    • Logique:

      Eléments de logique : calcul des prédicats, calcul des propositions.
      Utilisation des connecteurs et des quantificateurs dans le discours mathématique.
      Pratique du raisonnement mathématique : hypothèses, conclusions, raisonnement par contraposition, par disjonction de cas, par l’absurde, par récurrence, par analyse-synthèse.
      Vérification et utilisation d’une définition et d’un théorème.


    • Cours en ligne WIMS sur le langage mathématique et le raisonnement

    • Cours en ligne UNISCIEL sur la logique et le raisonnement.

    • Un premier test concernant les propositions logiques et les connecteurs ET/OU.

      Six questions choisies aléatoirement.

    • Un deuxième test concernant l'implication, en particulier sous la forme "Si ... alors". Niveau 1.

      Six questions choisies aléatoirement.


    • Un troisième test concernant la négation de propositions logique. Niveau 1.

      Six questions choisies aléatoirement.


    • Un quatrième test concernant la notion de conditions nécessaires et suffisantes dans une implication. Niveau 2.

      Six questions choisies aléatoirement.


    • Un cinquième test concernant la négation d'une implication

      Trois questions choisies aléatoirement.


    • Un sixième test concernant la notion de réciproque et de contraposée d'une implication.

      Six questions choisies aléatoirement.


    • Un septième test concernant la valeur de vérité d'une proposition contenant un quantificateur. Niveau facile.

      Huit questions choisies aléatoirement.


    • Un huitième test concernant le passage du langage naturel au langage formel. Propositions faisant intervenir un quantificateur.

      Six questions choisies aléatoirement.


    • Un neuvième test pour passer à la négation d'une proposition faisant intervenir des quantificateurs.

      6 questions choisies aléatoirement.

    • Un dixième test sur les propositions avec quantificateurs: propositions contenant deux variables réelles.

      10 questions choisies aléatoirement.

    • Un onzième test portant sur des propositions logiques contenant des quantificateurs dans des contextes variés.

      Six questions choisies aléatoirement.

    • Test sur les différents types de raisonnement.

      6 questions choisies aléatoirement.


    • Un test sur la compréhension d'énoncés mathématiques.