Cible(s) de formation

Maîtriser le langage de base dans lequel s'expriment les mathématiques; utiliser les concepts fondamentaux associés au discret; se servir d'un logiciel de calcul symbolique pour explorer des hypothèses et vérifier ou obtenir des résultats reliés au discret.

Contenu

Logique : calcul propositionnel et calcul des prédicats. Techniques de preuve : preuve directe, preuve indirecte (contraposition et absurde), récurrence simple et généralisée. Entiers, divisibilité, décomposition en nombres entiers, arithmétique modulaire. Éléments de combinatoire : premier et second principes de dénombrement, permutations, arrangements, combinaisons; théorème du binôme, principe de Dirichlet. Aperçu de la théorie des graphes : graphes orientés et non orientés, sous-graphes, circuits et cycles, connexité, graphes complets et coloriage, matrice associée à un graphe, graphes isomorphes; arbre et arbre générateur.

Équivalente(s)

MAT134