Logique et structure discrètes

A la fin de cette unité d’enseignement, l’étudiant est capable de :

Eu égard au référentiel AA du programme « Bachelier ingénieur civil », ce cours contribue au développement, à l¿acquisition et à l¿évaluation des acquis d¿apprentissage suivants :

• AA1.1, AA1.2
• AA2.4

Eu égard au référentiel AA du programme « Bachelier en sciences informatiques », ce cours contribue au développement, à l¿acquisition et à l¿évaluation des acquis d¿apprentissage suivants :

• S1.I1, S1.G1
• S2.2

Les étudiants ayant suivi avec fruit ce cours seront capables de

• convertir des affirmations du langage courant en expressions logiques en utilisant la syntaxe et la sémantique de la logique des propositions ou des prédicats
• utiliser les règles d¿inférence pour construire des preuves en logique de proposition ou des prédicats
• décrire en quoi la logique symbolique permet de modéliser des situations réelles, telles que celles rencontrées dans le contexte de l¿informatique (p.e. analyse d'algorithmes)
• identifier et définir de manière précise les concepts de base des graphes et des arbres en fournissant des exemples contextualisés qui les mettent en lumière.
• expliciter diverses méthodes de parcours de graphes
• modéliser divers problèmes du monde réel rencontrés en informatique en utilisant les formes appropriées de graphes et d¿arbres, par exemple les réseaux sociaux et le Web
• expliciter les principaux concepts de la théorie des jeux (le type de jeu, le type de stratégie des agents) à l¿aide d¿exemples appropriés

Les étudiants auront développé des compétences méthodologiques et opérationnelles.  En particulier, ils auront développé leur capacité à

• définir et interpréter avec rigueur et précision les concepts
• éviter les mauvaises interprétations et détecter des erreurs de raisonnement.