| ||||
Sigle : MAT3223 Gr. 01 Titre : Fondements algébriques Session : Hiver 2015 Horaire et local Professeur : Kengne, Emmanuel | ||||
1. Description du cours paraissant à l'annuaire : | ||||
ObjectifsAu terme de cette activité, l'étudiant sera en mesure : de décrire et d'expliquer les concepts et méthodes de l'algèbre moderne; d'effectuer des preuves simples.ContenuLangage mathématique. Intuition et raisonnement en mathématiques. Calcul propositionnel, tables de vérité, initiation au calcul des prédicats. Notions d'axiomes et de conséquences logiques. Méthodes de preuve. Concepts ensemblistes: unification de la mathématique par la théorie des ensembles, sous-ensembles, opérations ensemblistes, ensembles équipotents, cardinaux, ordinaux, connectifs, quantificateurs, relations, relations d'ordre, relations d'équivalence, composition de relations, fonctions, applications. Introduction à l'algèbre de Boole. | ||||
2. Objectifs spécifiques du cours : | ||||
Le cours "Fondements algébriques" devra permettre à l'étudiant de s'initier aux concepts et aux méthodes de l'algèbre moderne et de développer sa capacité d'effectuer des preuves simples et de résoudre des problèmes. | ||||
3. Stratégies pédagogiques : | ||||
Cours magistraux (enseignement par l'approche de résolutions de problèmes). L'apprentissage sera assuré par des cours présentant la théorie, entrecoupés par des périodes d'exercices. La participation active des étudiants sera sollicitée. Devoirs Examen intra Examen final | ||||
4. Heures de disponibilité ou modalités pour rendez-vous : | ||||
Virtuel ou sur rendez-vous. | ||||
5. Plan détaillé du cours sur 15 semaines : | ||||
Semaine | Thèmes | Dates | ||
1 | Introduction : Logiques propositionnelles | 14 jan. 2015 | ||
2 | Équivalences propositionnelles | 21 jan. 2015 | ||
3 | Prédicats et quantificateurs (Devoir 1) | 28 jan. 2015 | ||
4 | Théorie des ensembles | 04 fév. 2015 | ||
5 | Fonctions | 11 fév. 2015 | ||
6 | Preuves et raisonnement mathématiques | 18 fév. 2015 | ||
7 | Révision (Devoir 2) | 25 fév. 2015 | ||
8 | Semaine d'études | 04 mars 2015 | ||
9 | Examen intra (3 h) | 11 mars 2015 | ||
10 | Relations d'équivalences et d'ordre et lois de compositions | 18 mars 2015 | ||
11 | Relations d'équivalences et d'ordre et lois de compositions (suite) | 25 mars 2015 | ||
12 | Algèbre booléenne | 01 avr. 2015 | ||
13 | Table de Kamaugh (Devoir 3) | 08 avr. 2015 | ||
14 | Exercices et révision | 15 avr. 2015 | ||
15 | Examen final (3 h) | 22 avr. 2015 | ||
6. Évaluation du cours : | ||||
| ||||
7. Politiques départementales et institutionnelles : | ||||
| ||||
8. Principales références : | ||||
Manuel :
Autres références :
| ||||
9. Page Web du cours : | ||||
https://moodle.uqo.ca |