Topic outline

  • General

  • Pour bien commencer

    Text and media area: 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
    Text and media areas: 3 URLs: 4 Quiz: 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
    Text and media areas: 3 URLs: 3 Quiz: 1

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

    Objectifs : Utiliser à bon escient les différents quantificateurs, Savoir manipuler les connecteurs logiques et les quantificateurs
    Text and media areas: 3 URLs: 4 Quiz: 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
    Text and media areas: 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
    Text and media areas: 3 URLs: 4 Quiz: 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

    Text and media areas: 3 URLs: 3

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

    URL: 1 Text and media area: 1