Programme des cours 2022-2023
ATTENTION : version 2021-2022 de l'engagement pédagogique
INAF0001-2  
Sciences mathématiques 1, Mathématique pour l'informatique
Durée :
36h Th
Nombre de crédits :
Bachelier en informatique de gestion3
Nom du professeur :
Marie Leroy
Coordinateur(s) :
Marie Leroy
Langue(s) de l'unité d'enseignement :
Langue française
Organisation et évaluation :
Enseignement au premier quadrimestre, examen en janvier
Unités d'enseignement prérequises et corequises :
Les unités prérequises ou corequises sont présentées au sein de chaque programme
Contenus de l'unité d'enseignement :
  • Symbole de sommation (lien avec les boucles for).
  • Logique des propositions et des prédicats (dont les tables de vérités et liens avec les tests booléens en infor
  • matique).
  • Notion d'ensembles.
  • Techniques de démonstration (dont les démonstration par récurrence, lien avec les fonctions et procédures récursives).
  • Notions de correspondance (introduction, entre autres, aux relations: utile en théorie des graphes).
Acquis d'apprentissage (objectifs d'apprentissage) de l'unité d'enseignement :
  • En termes de savoirs, l'étudiant sera capable de : Maîtriser les mathématiques dans les modules suivants: Logique mathématique (logique des propositions et des prédicats). Schéma de démonstration (par récurrence, par l'absurde). Notion de correspondance (relation d'équivalence et d'ordre). Analyse de fonctions.
  • En termes de savoir-faire, l'étudiant sera capable de : Formuler une proposition à l'aide de prédicats. Réaliser des démonstrations de manière rigoureuse en décrivant la méthode utilisée. Savoir manipuler des fonctions réelles et calculer leur dérivée.
  • En termes de savoir-être ou de savoirdevenir, l'étudiant sera capable de : Faire preuve de rigueur dans l'analyse de problèmes mathématiques liés à l'informatique.
Savoirs et compétences prérequis :
Activités d'apprentissage prévues et méthodes d'enseignement :
Mode d'enseignement (présentiel, à distance, hybride) :
Lectures recommandées ou obligatoires et notes de cours :
Modalités d'évaluation et critères :
Évaluation certificative écrite en janvier.
Stage(s) :
Remarques organisationnelles :
Contacts :