INF089 - Logique et informatique
Présentation
Sommaire
- Cycle
- 1er 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.