MAT113 - Logique et mathématiques discrètes

L'horaire de ce cours n'est pas disponible.

Sommaire

Cycle: 1er cycle
Crédits: 3 crédits

Faculté ou centre: Faculté des sciences

Cible(s) de formation

Arriver à un niveau d'abstraction jugé fondamental pour la poursuite d'études universitaires en sciences; se familiariser avec les différentes techniques de preuve existantes et avec les concepts fondamentaux nécessaires à la réalisation de telles preuves; être apte à mathématiser les idées exprimées dans une langue naturelle.

Contenu

Logique : calcul propositionnel et algèbre de Boole, applications aux circuits logiques combinatoires, calcul des prédicats. Théorie axiomatique des ensembles. Techniques de preuve : preuve par l'absurde (contradiction, contraposée), induction versus déduction; induction mathématique, induction mathématique généralisée, induction constructive, congruences. Méthodes élémentaires de dénombrement : arrangement, combinaison, coefficients binomiaux. Nombre d'injections, de surjections.

Équivalente(s)

(MAT115)

(MAT225)