Logo ÉTS
Session
Cours
Responsable(s) Anouk Bergeron-Brlek

Se connecter
 

École de technologie supérieure
Service des enseignements généraux
Responsable(s) de cours : Anouk Bergeron-Brlek


PLAN DE COURS

Automne 2018
MAT210 : Logique et mathématiques discrètes (4 crédits)



Préalables
Pour tous les étudiants
         
  MAT145  
         
Unités d'agrément
Données non disponibles




Qualités de l'ingénieur

Qn
Qualité visée dans ce cours  
Qn
  Qualité visée dans un autre cours  
  Indicateur enseigné
  Indicateur évalué
  Indicateur enseigné et évalué



Descriptif du cours
Cours destiné spécifiquement aux étudiants inscrits au programme de baccalauréat en génie logiciel.

Acquérir les notions fondamentales de la logique mathématique. S’initier aux concepts des mathématiques discrètes.

Introduction à la logique : calcul propositionnel, calcul des prédicats, méthodes de preuve et algèbre de Boole. Théorie des ensembles. Comportement asymptotique des fonctions et compexité temporelle des algorithmes. Théorie des nombres : nombres premiers, algorithme d'Euclide, arithmétique modulaire et applications. Preuves par récurrence et relations de récurrence. Principes de base du dénombrement. Théorie des graphes : terminologie, représentations, chemins et circuits.

Séances de travaux pratiques portant sur la logique et les applications des mathématiques discrètes.



Objectifs du cours

Apprendre et maîtriser les outils de mathématiques discrètes de base liés aux problèmes de programmation et de structures informatiques. À l’occasion, appliquer ces notions par la réalisation de programmes informatiques.




Stratégies pédagogiques

Trois heures et demie de cours magistral par semaine. De nombreux exemples et exercices seront faits en classe pour permettre aux étudiants de bien assimiler la théorie présentée.




Utilisation d’appareils électroniques

S.O.




Horaire
Groupe Jour Heure Activité
01 Lundi 09:00 - 12:30 Activité de cours
Mercredi 09:00 - 12:00 Travaux pratiques
02 Mardi 13:30 - 17:00 Activité de cours
Vendredi 13:30 - 16:30 Travaux pratiques



Coordonnées de l’enseignant
Groupe Nom Activité Courriel Local Disponibilité
01 Anouk Bergeron-Brlek Activité de cours Anouk.Bergeron-Brlek@etsmtl.ca B-2310
01 Anouk Bergeron-Brlek Travaux pratiques Anouk.Bergeron-Brlek@etsmtl.ca B-2310
02 Anouk Bergeron-Brlek Activité de cours Anouk.Bergeron-Brlek@etsmtl.ca B-2310
02 Anouk Bergeron-Brlek Travaux pratiques Anouk.Bergeron-Brlek@etsmtl.ca B-2310



Cours

(Les sections indiquées font référence à l’ouvrage de K. H. Rosen – 7e édition.)

COURS MATIÈRE SECTIONS À LIRE HEURES
1 - 2 Logique. Équivalences propositionnelles. Prédicats et quantificateurs. Règles d'inférence. 1.1 à 1.6  6
3 Méthodes de preuve. Algèbre booléenne. Fonctions booléennes et leurs représentations. Portes logiques. Minimisation de circuit. 1.7 à 1.8, 12.1 à 12.4 3
4 Ensemble : opérations sur les ensembles. Fonctions : injections, surjections, bijections. Suites et sommations. 2.1 à 2.3,  2.4 (156 -167) 3
5 - 6 Nombres entiers et division. Arithmétique modulaire. Entiers et algorithmes. Cryptographie RSA. 4.1 à 4.6   6
7 Examen intra portant sur les cours 1 à 6   3
8-9 Comportement asymptotique des fonctions. Algorithmes. Complexité des algorithmes. Principe de l’induction. Définitions récursives. Algorithmes récursifs. 3.1 à 3.3, 5.1 à 5.4 6
10 Notions de base du dénombrement. Principe des tiroirs. Permutations et combinaisons. Relations de récurrence. 6.1 à 6.3, 8.1 3
11 Solutions des relations de récurrence linéaires. Algorithmes de fractionnement (diviser pour régner). 8.2 à 8.3       3
12-13 Graphes : types de graphes, terminologie, représentation et utilisation. Matrices d’adjacence et d’incidence d’un graphe. Connectivité. Chemins eulériens et hamiltoniens d’un graphe, circuit et applications. Problème du plus court chemin d’un graphe 10.1 à 10.6 6
Total 39



Laboratoires et travaux pratiques

Trois heures de travail pratique par semaine seront consacrées à travailler les exercices hebdomadaires, à demander des éclaircissements sur les notions vues dans le cours, à compléter le cours magistral par certaines démonstrations ou certains exemples.




Utilisation d'outils d'ingénierie

Afin de permettre une participation active en classe, il est obligatoire que chaque étudiant possède une calculatrice TI-Nspire CAS CX. Ces calculatrices sont en vente à la COOP. La calculatrice symbolique sera utilisée tout au long de la session pour illustrer des concepts mathématiques, pour effectuer des calculs, des manipulations algébriques et même pour implémenter certains algorithmes. L’utilisation efficace de cet outil sera vérifiée lors des examens. Pour de l’aide sur l’utilisation de cette calculatrice symbolique, visitez le site http://seg-apps.etsmtl.ca/nspire/.

Voici des objectifs spécifiques d’apprentissage concernant l’utilisation de la calculatrice TI-Nspire CAS CX :

  1. Connaître la syntaxe des expressions logiques : and, or, not.
  2. Connaître le fonctionnement de l’éditeur de programmes et de fonctions.
  3. Savoir implémenter une fonction définie par récurrence.
  4. Savoir implémenter une fonction récursive définie par une relation de type diviser pour régner.
  5. Savoir implémenter une suite définie par récurrence, en tracer le graphique en obtenir un terme de rang donné ou une table de valeurs.
  6. Savoir effectuer différentes opérations matricielles (par exemple : obtenir la 5e puissance d’une matrice M associée à un graphe afin d’établir le nombre de chemins de longueur 5 entre deux sommets donnés).



Évaluation
  Gr. 01 Gr.02
Examen intra : 30 % 2018-10-22 2018-10-23
Devoirs et ou mini-tests : 40  % Dates à communiquer en classe
Examen final : 30 % Semaines des examens finaux

 

L'examen final est d'une durée de 3 heures.

Documentation permise à l'examen final :

  • un résumé personnel de 2 feuilles 8 ½ po X 11 po (recto verso);
  • une calculatrice TI Nspire.



Dates des examens intra
Groupe(s) Date
1 22 octobre 2018
2 23 octobre 2018



Date de l'examen final
Votre examen final aura lieu pendant la période des examens finaux, veuillez consulter l'horaire à l'adresse suivante : http://etsmtl.ca/Etudiants-actuels/Baccalaureat/Examens-finaux


Politique de retard des travaux
Tout travail (devoir pratique, rapport de laboratoire, rapport de projet, etc.) remis en retard sans motif valable, c’est-à-dire autre que ceux mentionnés dans le Règlement des études (1er cycle, article 7.2.7 b / cycles supérieurs, article 6.5.4 b) se verra attribuer la note zéro, à moins que d’autres dispositions ne soient communiquées par écrit par l’enseignant dans les consignes de chaque travail à remettre ou dans le plan de cours pour l’ensemble des travaux.



Absence à un examen
• Pour les départements à l'exception du SEG :
Dans les cinq (5) jours ouvrables suivant la tenue de son examen, l’étudiant devra justifier son absence d’un examen durant le trimestre auprès de la coordonnatrice – Affaires départementales qui en référera au directeur du département. Pour un examen final, l’étudiant devra justifier son absence auprès du Bureau du registraire. Toute absence non justifiée par un motif majeur (maladie certifiée par un billet de médecin, décès d’un parent immédiat ou autre) à un examen entraînera l’attribution de la note zéro (0).

• Pour SEG :
Dans les cinq (5) jours ouvrables suivant la tenue de son examen, l’étudiant devra justifier son absence auprès de son enseignant. Pour un examen final, l’étudiant devra justifier son absence auprès du Bureau du registraire. Toute absence non justifiée par un motif majeur (maladie certifiée par un billet de médecin, décès d’un parent immédiat ou autre) à un examen entraînera l’attribution de la note zéro (0).



Plagiat et fraude
Les clauses du « Règlement sur les infractions de nature académique de l’ÉTS » s’appliquent dans ce cours ainsi que dans tous les cours du département. Les étudiants doivent consulter le Règlement sur les infractions de nature académique (https://www.etsmtl.ca/A-propos/Direction/Politiques-reglements/Infractions_nature_academique.pdf ) pour identifier les actes considérés comme étant des infractions de nature académique ainsi que prendre connaissance des sanctions prévues à cet effet.  À l’ÉTS, le respect de la propriété intellectuelle est une valeur essentielle et les étudiants sont invités à consulter la page Citer, pas plagier ! (https://www.etsmtl.ca/Etudiants-actuels/Baccalaureat/Citer-pas-plagier).



Documentation obligatoire

Document suggéré:

ROSEN, Kenneth H. Discrete Mathematics and Its Applications, 7e édition, McGraw-Hill.




Ouvrages de références
  1. ABELSON, H., J. SUSSMAN. Structure et interprétation des programmes informatiques, InterEditions.
  2. BRASSARD G., P. BRATLEY. Algorithmique conception et analyse, Masson, Presse de l’Université de Montréal.
  3. COMTET, Louis. Advanced Combinatorics, D. Reidl Publishing Company.
  4. GRAHAM, KNUTH, PATASHNIK. Concrete Mathematics, A Fondation for Computer Science, Addison-Wesley.
  5. ROSEN, Kenneth H. Handbook of Discrete and Combinatorial Mathematics, CRC Press.
  6. STANLEY, Richard P. Enumerative Combinatorics, Wadsworth & Brooks.
  7. STANAT, MC ALLISTER, Discrete mathematics in computer science, Prentice Hall.



Adresse internet du site de cours et autres liens utiles

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

Site consacré à la TI-nspire CX CAS : https://seg-apps.etsmtl.ca/nspire/