% INF1132 — Mathématiques pour l'informatique % UQAM — Département d'informatique % Plan de cours — Hiver 2020 * Horaires, locaux et enseignants: Responsable(s) du cours ======================= Coordination ------------ Meurs, Marie-Jean PK-4935 poste 6139 Enseignement ------------- Maas-Gariépy, Florence PK-4115 poste 3699 Porrier, Carole PK-4115 poste 3699 Description du cours ==================== Connaître les notions de base de la logique et les notions mathématiques qui sous-tendent la programmation, en particulier celles qui sont utilisées dans la vérification de programmes et l'analyse de la complexité des algorithmes. - Rappel des notions suivantes: théorie naïve des ensembles, opérations sur les ensembles, cardinalité d'un ensemble, ensembles dénombrables, relations (fonctions, relations d'ordre, relations d'équivalence et partitions) - Algèbre relationnelle et applications aux bases de données - Introduction à la logique propositionnelle et au calcul des prédicats - Preuves par induction - Écriture de boucles simples - Notions élémentaires sur la complexité temporelle et spatiale des algorithmes - Notation asymptotique - Algorithmes de fouille et de tri - Analyse de la complexité d'algorithmes récursifs - Équations de récurrence - Graphes orientés, graphes non orientés, arbres, arborescences Objectif du cours ================= L'objectif principal du cours est de connaître les notions mathématiques de base utiles pour la conception d'algorithmes et le développement de programmes. En particulier, les étudiants devraient être en mesure d'utiliser ces notions dans les activités de programmation suivantes: - la définition de structures, - la définition de fonctions, d'opérations et de relations, - les techniques de représentation de structures, - le développement d'algorithmes, - les preuves d'arrêt et d'exactitude, - l'analyse de complexité d'algorithmes. Contenu du cours ================ Notions de base : Calcul propositionnel, calcul des prédicats et théorie naïve des ensembles. Nombres entiers et division. Définitions et preuves par induction. Stratégies de preuve. Relations : Définitions et représentations. Propriétés des relations et principaux types de relations. Fonctions : Définitions et représentations. Opérations sur les fonctions. Récursion. Graphes : Définitions et représentations. Parcours d'un graphe. Arbres et forêts. Introduction à l'analyse d'algorithmes : Notion générale d'algorithme. Preuves d'arrêt et d'exactitude. Complexité spatiale et temporelle d'un algorithme. Algorithmes récursifs et équations de récurrence. Modalités d'évaluation ====================== **Nouvelles modalités adaptées au travail à distance** Description sommaire Date Pondération ---------------------- ---------------------------- ------------- Devoir 1 Vendredi 21 Février à midi 15% Examen commun intra Samedi 29 Février à 14h00 35% Devoir 2 - Pondération **15%** Date de remise sur Moodle -------------------------------- --------------------------- Question Q1 Lundi 06 Avril avant midi Questions Q2 et Q3 Lundi 13 Avril avant midi Questions Q4 et Q5 Lundi 20 Avril avant midi Examen commun final - Pondération **35%** Période de passation ------------------------------------------- -------------------------- Question Q1 Du 08 au 10 Avril inclus Questions Q2 et Q3 Du 15 au 17 Avril inclus Questions Q4 et Q5 Du 22 au 23 Avril inclus ------------------------------------------------------------------------ *Modalités initialement prévues* Description sommaire Date Pondération ---------------------- ----------------------------- ------------- Devoir 1 Vendredi 21 Février à midi 15% Examen commun intra Samedi 29 Février à 14h00 35% Devoir 2 ~~Samedi 18 Avril à 23h55~~ 15% Examen commun final ~~Samedi 25 Avril à 14h00~~ 35% L'énoncé des devoirs est distribué 3 semaines avant la date de remise du travail. Aucun devoir n'est accepté après la date et l'heure de remise, puisque des solutionnaires sont publiés à ce moment-là. L'utilisation de livres et de documentation personnelle est permise aux examens. Les calculatrices, téléphones cellulaires, ordinateurs portables et appareils électroniques sont strictement interdits durant les examens. Les examens et les devoirs sont individuels. En cas de plagiat ou de fraude, la sanction peut aller de la note zéro pour le travail ou l'examen, jusqu'à l'exclusion de l'université. Les règlements concernant le plagiat seront strictement appliqués. Pour plus de renseignements, consultez le site suivant : Médiagraphie ============ - Kenneth H. ROSEN, -- *Mathématiques discrètes* -- Édition révisée, Chenelière/McGraw-Hill, 2002.