Тематический план

  • Общее

  • Pour bien commencer

    Текст и медиа: 1 Гиперссылка: 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
    Текст и медиа: 3 Гиперссылки: 4 Тест: 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
    Текст и медиа: 3 Гиперссылки: 3 Тест: 1

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

    Objectifs : Utiliser à bon escient les différents quantificateurs, Savoir manipuler les connecteurs logiques et les quantificateurs
    Текст и медиа: 3 Гиперссылки: 4 Тест: 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
    Текст и медиа: 3 Гиперссылки: 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
    Текст и медиа: 3 Гиперссылки: 4 Тест: 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

    Текст и медиа: 3 Гиперссылки: 3

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

    Гиперссылка: 1 Текст и медиа: 1