MAT1153 - Structures discrètes

Scolarité

Premier cycle - 3,0 crédit(s)

Département

Département d'informatique et d'ingénierie

Objectifs

Au terme de ce cours, l'étudiant.e sera en mesure de décrire et d'utiliser les notions et outils mathématiques de base indispensables en informatique; d'identifier et de mettre en application des méthodes de raisonnement rigoureux.

Contenu

Logique propositionnelle et éléments du calcul des prédicats, leur application aux modes de raisonnement. Ensembles. Notion de relation, ordres et équivalences, applications. Fonctions, leurs propriétés et rôle en informatique. Graphes, propriétés, applications et représentations informatisées. Arithmétique modulaire et congruence. Algèbre de Boole. Automates finis et expressions régulières, applications en informatique. Ce cours comporte des séances obligatoires de travaux dirigés (TD).

Préalables

Aucun

Exigences de qualification pour l'enseignement

Diplôme(s)
Maîtrise en informatique ou en mathématique.
Expérience
Spécialisation académique en mathématiques théoriques ou 3 années d'expériences dans des activités pédagogiques ou professionnelles liées à ce domaine.
Corps professionnel
Aucun
Autre(s) exigence(s)
Dans tous les cas, le candidat devra pouvoir démontrer une capacité à communiquer efficacement oralement et par écrit ainsi qu'à transmettre les connaissances ou les habiletés pertinentes au contenu du cours pour lequel les exigences de qualification pour l'enseignement (EQE) sont adoptées.

CAFF

6301 - Code général du secteur Mathématiques