[HILISIT] MathPInfo - Logique et Raisonnement
Схема на раздела
-
Дейности: 2
-
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Дейности: 8 -
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Дейности: 7
-
Objectifs : Utiliser à bon escient les différents quantificateurs, Savoir manipuler les connecteurs logiques et les quantificateursДейности: 8
-
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Дейности: 7
-
Objectifs : Connaître les méthodes de preuves issues de la logique, Savoir mettre en œuvre un raisonnement par l'absurdeДейности: 8
-
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Дейности: 6