L’objectif le plus important d’un premier cours de mathématiques discrètes est probablement d’aider les étudiants à développer la capacité de penser de manière abstraite. Un traitement clair et accessible des mathématiques discrètes aux étudiants qui se spécialisent en informatique ou qui sont mineures dans d’autres disciplines.
Plan du cours
Preuves mathématiques
Construction inductive et preuve par induction.
Ensembles, fonctions, applications, relations.
Relation d’équivalence et relation d’ordre partiel
Treillis, bel ordre, …
Description des TP
Pas de TP
Connaissances requises
A remplir
RSE (Responsabilité Sociale et Environnementale)
Bibliographie
1- Mathématiques discrètes et informatique, N.H. Xuong, Masson 1992.
2- Discrete mathematics with applications (4edition), par Susanna EPP, Books/Cole engage learning, 2011.
3- Mathematics for computer science, E. Lehman, F.T. Leighton, A.R. Meyer, disponible en PDF.
