• appliquer des méthodes de la logique et des mathématiques discrètes;
• résoudre des problèmes à l'aide de la logique et des mathématiques discrètes;
• concevoir la preuve d'un résultat mathématique;
• analyser la complexité d'algorithmes simples;
• communiquer ses démarches de façon claire et structurée;
• utiliser un logiciel de calcul symbolique.

Trois heures de cours magistral par semaine. De nombreux exemples seront faits en classe pour permettre aux étudiantes et étudiants de bien assimiler la théorie et les techniques présentées durant le cours.

Les 3 heures hebdomadaires de travaux pratiques pourront servir à travailler les exercices distribués, à demander des éclaircissements sur les notions vues au cours, et à compléter le cours magistral par certaines démonstrations ou certains exemples s’il y a lieu.

S.O.

Mini-tests et devoirs

La pondération de chaque mini-test et devoir sera inférieure à 15 % de la note finale.

Examen intra

L'examen intra est d'une durée totale de 3 heures. Il comportera deux parties: une première sans la calculatrice et une deuxième où l'usage de la calculatrice TI-Nspire CX CAS est permis. L'examen portera sur le contenu des cours 1 à 6 tel que décrit à la section « Cours ». Les modalités de l'examen seront communiquées par l'enseignante ou l'enseignant de chaque cours-groupe.

Examen final

L’examen final est d’une durée totale de 3 heures. Il comportera deux parties : une première sans la calculatrice et une deuxième où l'usage de la calculatrice TI-Nspire CX CAS est permis. L'examen portera sur le contenu des cours 8 à 13 tel que décrit à la section « Cours ».  L'ordinateur portable et la documentation électronique sont interdits.

Documentation papier permise pour l’examen final (voir la page Moodle du cours pour des copies) :

• Un résumé personnel d'une (1) feuille 8½ ×11, recto verso, manuscrit ou rédigé à l’ordinateur (aucune capture d'écran n'est permise);
• La feuille « MAT210 - Théorèmes »;
• La feuille « MAT210 - Algorithmes ».

Double seuil 

Un double seuil de 55 % est applicable dans ce cours. Seuls les examens intra et final sont utilisés dans le calcul de ce double seuil. Ce seuil est une condition nécessaire à la réussite du cours mais ne la garantit pas.

Absence 

Si vous êtes dans l’impossibilité de vous présenter à une évaluation pendant la session, consultez la section Absence à une évaluation du plan de cours ainsi que l’article 7.5.5 du Règlement des études de premier cycle de l’ÉTS pour connaître la procédure et les motifs admissibles à une demande d’examen de compensation.

Lorsqu’une demande d’examen de compensation pour une évaluation surveillée de 15?% ou plus (à l’exception de l’examen final) est approuvée, la date de reprise est fixée par le Département. L’examen a lieu un dimanche, généralement dans les trois semaines suivant l’évaluation initiale. Cette date est finale et ne peut être modifiée. Aucun accommodement ne sera accordé en cas d’empêchement. Toute absence entraîne la note de zéro. Les étudiantes et étudiants concernés recevront par courriel les renseignements relatifs à la date, à l’heure et au local au moins 48?heures avant l’examen.

Afin de faire valider une absence à une évaluation en vue d’obtenir un examen de compensation, l’étudiante ou l’étudiant doit utiliser le formulaire prévu à cet effet dans son portail MonÉTS pour un examen final qui se déroule durant la période des examens finaux ou pour tout autre élément d’évaluation surveillé de 15% et plus durant la session. Si l’absence concerne un élément d’évaluation de moins de 15% durant la session, l’étudiant ou l’étudiante doit soumettre une demande par écrit à son enseignante ou enseignant.

Toute demande de validation d’absence doit se faire dans les cinq (5) jours ouvrables suivant la tenue de l’évaluation, sauf dans les cas d’une absence pour participation à une activité prévue aux règlements des études où la demande doit être soumise dans les cinq (5) jours ouvrables avant le jour de départ de l’ÉTS pour se rendre à l’activité.

Toute absence non justifiée par un motif majeur (voir articles 7.2.6.1 du RÉPC et 6.5.2 du RÉCS) entraînera l’attribution de la note zéro (0).

Notes de cours MAT210 - Logique et mathématiques discrètes, disponibles à la Coopsco ETS et en version électronique sur la page Moodle du cours.

ROSEN, Kenneth H. Discrete Mathematics and Its Applications, 8e édition, McGraw-Hill. Cette référence est suggérée mais n'est pas obligatoire.

Documentation additionnelle :

1. ABELSON, H., J. SUSSMAN. Structure et interprétation des programmes informatiques, InterEditions.
2. COMTET, Louis. Advanced Combinatorics, D. Reidl Publishing Company.
3. GRAHAM, KNUTH, PATASHNIK. Concrete Mathematics, A Fondation for Computer Science, Addison-Wesley.
4. ROSEN, Kenneth H. Handbook of Discrete and Combinatorial Mathematics, CRC Press.
5. STANAT, MC ALLISTER, Discrete mathematics in computer science, Prentice Hall.

Site web du cours : https://ena.etsmtl.ca/course/view.php?id=95

Site Moodle TI-nspire à l'ÉTS : https://ena.etsmtl.ca/course/view.php?id=23359#section-1 

Vidéos sur l'utilisation de Nspire à l'ÉTS (chaîne VUnETS sur YouTube) : https://etsmtl.ca/vunets

Les séances de cours et de travaux pratiques des cours-groupes dont le mode d'enseignement est hybride sont offertes entièrement à distance. L'étudiante ou l'étudiant inscrit à un tel cours-groupe n'a donc pas besoin de se déplacer à l'École durant la session, sauf lors des évaluations en présence identifiées à la section "Évaluation".