Le 25 mai 2012
Description de l'activité pédagogique | |
MAT 115Logique et mathématiques discrètes | 3 cr. |
Objectif(s)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. | |
ContenuLogique : 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. | |