Diagrama de temas

  • General

  • Pour bien commencer

    Área de texto y medios: 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
    Áreas de texto y medios: 3 URLs: 4 Cuestionario: 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
    Áreas de texto y medios: 3 URLs: 3 Cuestionario: 1

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

    Objectifs : Utiliser à bon escient les différents quantificateurs, Savoir manipuler les connecteurs logiques et les quantificateurs
    Áreas de texto y medios: 3 URLs: 4 Cuestionario: 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
    Áreas de texto y medios: 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
    Áreas de texto y medios: 3 URLs: 4 Cuestionario: 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

    Áreas de texto y medios: 3 URLs: 3

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

    URL: 1 Área de texto y medios: 1