Contenus

·        Présentation du cours, de ses objectifs et des modalités d'évaluation

·        Introduction aux structures discrètes et à leur importance en informatique

·        Notion de proposition logique

·        Connecteurs logiques (ET, OU, NON, implication, équivalence)

·        Tables de vérité

·        Équivalences logiques fondamentales

·        Applications de la logique en informatique

Objectifs pédagogiques

À l'issue de cette semaine, l'étudiant devra être capable de :

·        comprendre le rôle des structures discrètes dans les sciences informatiques ;

·        distinguer une proposition logique d'une expression non propositionnelle ;

·        construire et interpréter des tables de vérité ;

·        appliquer les principales lois de la logique propositionnelle ;

·        formaliser des raisonnements simples à l'aide d'expressions logiques.