Aller au contenu

IFT089 - Logique et informatique

Présentation

Sommaire

Cycle
2e cycle
Crédits
2 crédits
Faculté ou centre
Faculté des sciences

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 à utiliser ces techniques et méthodes en informatique.

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.