Aperçu des sections

  • Généralités

  • Pour bien commencer

    Zone texte et média: 1 URL: 1

  • S1 - Calcul propositionnel (6h - 8h)

    Objectifs : Utiliser correctement les connecteurs logiques non, et, ou, Distinguer condition nécessaire et condition suffisante, Formuler correctement les propositions, négations, réciproques, contraposées
    Pour aller plus loin : Écrire l'arbre de décomposition d'une formule, Montrer qu'une formule est ou non une tautologie
    Zones texte et média: 3 URLs: 4 Test: 1

  • S2 - Applications du calcul propositionnel (3h)

    Objectifs : Pouvoir appuyer des exemples concrets sur la mécanique de calcul, Clarifier des étapes de raisonnement que le langage usuel rend ambiguës, Appliquer les principes à la conception de circuits informatiques
    Zones texte et média: 3 URLs: 3 Test: 1

  • S3 - Calcul des prédicats (6h - 8h)

    Objectifs : Utiliser à bon escient les différents quantificateurs, Savoir manipuler les connecteurs logiques et les quantificateurs
    Zones texte et média: 3 URLs: 4 Test: 1

  • S4 - Règles de déduction (4h - 6h)

    Objectifs : Connaître les règles de déduction importantes pour la logique, Comprendre les règles de déduction, Savoir appliquer les règles de déduction, Manipuler les règles de déduction de la logique quantifiée
    Zones texte et média: 3 URLs: 4

  • S5 - Méthodes de preuves (6h - 8h)

    Objectifs : Connaître les méthodes de preuves issues de la logique, Savoir mettre en œuvre un raisonnement par l'absurde
    Zones texte et média: 3 URLs: 4 Test: 1

  • S6 - Stratégies de preuves (5h)

    Objectifs : Connaître les preuves complémentaires (preuve par cas, exhaustive, sans perte de généralité), Savoir faire une preuve d'existence ou d'unicité, Réaliser une preuve par analogie
    Pour aller plus loin : Comprendre les pavages d'échiquier

    Zones texte et média: 3 URLs: 3

  • Évaluation finale "Logique et Raisonnement" et crédits

    URL: 1 Zone texte et média: 1