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 aux sessions automne 2019

automne 2020

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