| ||||
Sigle : MAT1153 Gr. 01 Titre : Structures discrètes Session : Automne 2017 Horaire et local Professeur : El Guemhioui, Karim | ||||
1. Description du cours paraissant à l'annuaire : | ||||
ObjectifsAu terme de cette activité, l'étudiant 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.ContenuLogique propositionnelle et éléments du calcul des prédicats, leur application aux modes de raisonnement. Ensembles. Éléments d'analyse combinatoire. Notion de relation, ordres et équivalences, applications. Fonction, leurs propriétés et rôle en informatique. Graphes, propriétés, applications et représentations informatisées. Éléments d'algèbre et applications au codage, codes corrigeants, codes de Hamming. Automates finis et expressions régulières, applications en informatique. Ce cours comporte des séances obligatoires de travaux dirigés (TD) de deux heures par semaine. | ||||
2. Objectifs spécifiques du cours : | ||||
Ce cours couvre 1 des 12 qualités requises des diplômés telles que définies dans les normes d'agrément des programmes de génie au Canada (http://www.engineerscanada.ca/fr/ressources-en-matiere-dagrement): a. Qualité 1: Connaissance en génie | ||||
3. Stratégies pédagogiques : | ||||
Les formules pédagogiques suivantes seront utilisées :
| ||||
4. Heures de disponibilité ou modalités pour rendez-vous : | ||||
Heures de consultation : Sur rendez-vous (local B-0123). | ||||
5. Plan détaillé du cours sur 15 semaines : | ||||
Semaine | Thèmes | Dates | ||
1 |
Logique propositionnelle :
|
05 sept. 2017 | ||
2 |
Logique propositionnelle (suite) :
Travail dirigé 1 : Logique propositionnelle (Le 15 septembre 2017). |
12 sept. 2017 | ||
3 |
Logique des prédicats :
Travail dirigé 2 : Logique des prédicats (Le 22 septembre 2017). |
19 sept. 2017 | ||
4 |
Preuves en mathématiques :
Travail dirigé 3 : Preuves en mathématiques (Le 29 septembre 2017). |
26 sept. 2017 | ||
5 |
Ensembles :
Travail dirigé 4 : Ensembles (Le 6 octobre 2017). |
03 oct. 2017 | ||
6 | Semaine d'études | 10 oct. 2017 | ||
7 | Examen de mi-session | 17 oct. 2017 | ||
8 |
Éléments d'analyse combinatoire :
Travail dirigé 5 : Éléments d'analyse combinatoire (Le 27 octobre 2017). |
24 oct. 2017 | ||
9 |
Relations :
Travail dirigé 6 : Relations (Le 3 novembre 2017). |
31 oct. 2017 | ||
10 |
Fonctions :
Travail dirigé 7 : Fonctions (Le 10 novembre 2017). |
07 nov. 2017 | ||
11 |
Graphes :
Travail dirigé 8 : Graphes (Le 17 novembre 2017). |
14 nov. 2017 | ||
12 |
Éléments d'algèbre :
|
21 nov. 2017 | ||
13 |
Éléments d'algèbre (suite) :
Travail dirigé 9 : Éléments d'algèbre (Le 1er décembre 2017). |
28 nov. 2017 | ||
14 |
Introduction à la théorie des automates :
Travail dirigé 10 : Automates (Le 8 décembre 2017). |
05 déc. 2017 | ||
15 | Examen final | 12 déc. 2017 | ||
6. Évaluation du cours : | ||||
| ||||
7. Politiques départementales et institutionnelles : | ||||
| ||||
8. Principales références : | ||||
| ||||
9. Page Web du cours : | ||||
https://moodle.uqo.ca |