ALG1001 - Logiques et Ensembles

Niveau :  Première année
Département : Mathématiques et informatique
Crédits :3 crédits
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 2024

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

3351, boul. des Forges,
Trois-Rivières (Québec) G8Z 4M3
Information générale : crmultiservice@uqtr.ca
Téléphone : 819 376-5011
Sans frais : 1 800 365-0922