Indice degli argomenti

  • Introduzione

  • Pour bien commencer

    Area di testo e media: 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
    Aree di testo e media: 3 URL: 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
    Aree di testo e media: 3 URL: 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
    Aree di testo e media: 3 URL: 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
    Aree di testo e media: 3 URL: 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
    Aree di testo e media: 3 URL: 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

    Aree di testo e media: 3 URL: 3

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

    URL: 1 Area di testo e media: 1