PIF1005Hiver 2024Maths
← Retour au parcours universitaire
Mathématiques pour informaticiens I
Vue détaillée du cours, des notions étudiées, des technologies mobilisées et des principaux travaux associés.
Code
PIF1005
Session
Hiver 2024
Domaine
Maths
Résumé global
Cours de mathématiques discrètes et logiques appliquées à l’informatique. Le cours m’a permis d’acquérir les outils mathématiques de base nécessaires pour modéliser des problèmes informatiques, raisonner de manière rigoureuse et comprendre des concepts fondamentaux comme la logique, les ensembles, les graphes et l’algèbre booléenne.
Technologies utilisées
LogiqueMathématiques discrètesGraphesAlgèbre booléenne
Notions vues dans ce cours
- Logique propositionnelle
- Logique des prédicats
- Ensembles et fonctions
- Relations et relations d’ordre
- Preuves et raisonnement mathématique
- Introduction à l’algorithmique
- Graphes, réseaux, arbres et arborescences
- Algèbre booléenne
- Circuits logiques
- Simplification de circuits logiques
- Modélisation de situations réelles en vue d’une implantation informatique
Travaux et éléments évalués
- Devoir 1
- Devoir 2
- Examen intra
- Examen final
- Exercices sur la logique, les ensembles, les graphes et les preuves