MAT115 - Logique et mathématiques discrètes

Cible(s) de formation

Acquérir la capacité d'abstraction jugée suffisante 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, calcul des prédicats. Déduction naturelle. Ensemble, relation, fonction, séquence : opérateurs et propriétés. Techniques de preuve : preuve par l'absurde (contradiction, contraposée), induction et déduction; induction mathématique. Automates finis déterministes et non déterministes, traduction d'un automate non déterministe en un automate déterministe, minimisation d'un automate.

Équivalente(s)

MAT120

* Sujet à changement