[HILISIT] MathPInfo - Logique et Raisonnement
Section outline
-
Активные элементы: 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 -
Активные элементы: 2