• Votre sélection est vide.

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

Logique

  • Composante

    LA PREPA DES INP

Code interne

JP1LOGIQ

Description


Définition des connecteurs logiques (et, ou, implication, équivalence , négation)
Apprendre à nier une phrase quantifiée
Démonstration par récurrence, récurrence faible et forte, par l'absurde et par contraposition, raisonnement par analyse -synthèse
Ensembles (définition, intersection, union, complémentaire)

Lire plus

Modalités de contrôle des connaissances

Évaluation initiale / Session principale - Épreuves

Type d'évaluationNature de l'épreuveDurée (en minutes)Nombre d'épreuvesCoefficient de l'épreuveNote éliminatoire de l'épreuveRemarques
Contrôle Continu IntégralDevoir surveillé1