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