ALG1001 - Logiques et Ensembles  (3 crédits)

Niveau :  Première année
Département :  Mathématiques et informatique
Description :

S'initier aux concepts de base des mathématiques actuelles à travers l'étude de concepts de la logique et de la théorie des ensembles. Développer la capacité de faire des preuves.

Logique propositionnelle : formes propositionnelles et connecteurs logiques, dérivations et méthodes de preuves. Logique des prédicats : quantificateurs et raisonnements avec ceux-ci. Concepts ensemblistes : approche intuitive et approche axiomatique des ensembles, axiome des naturels et preuve par induction mathématique. Relations, relations d'ordre, relations d'équivalence. Fonctions et applications.

Horaire du cours à la session automne 2019

Université du Québec
à Trois-Rivières

3351, boul. des Forges, C.P. 500
Trois-Rivières (Québec) G9A 5H7
Information générale : crmultiservice@uqtr.ca
Téléphone : 819 376-5011
Sans frais : 1 800 365-0922
Télécopieur : 819 376-5210