COURS // MAT2055 Logique et ensembles
Message d'erreur
- Notice : Only variables should be passed by reference dans horaires_cours_content() (ligne 167 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/custom/horaires/horaires.module).
- Notice : Only variables should be passed by reference dans horaires_cours_content() (ligne 167 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/custom/horaires/horaires.module).
- Notice : Only variables should be passed by reference dans horaires_cours_content() (ligne 167 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/custom/horaires/horaires.module).
- Deprecated function : mb_strtolower(): Passing null to parameter #1 ($string) of type string is deprecated dans drupal_strtolower() (ligne 529 dans /DATA/sites/40618_Institutionnel_Registrariat/includes/unicode.inc).
- Deprecated function : Creation of dynamic property WSClientServiceDescription::$id is deprecated dans EntityAPIController->load() (ligne 256 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/entity/includes/entity.controller.inc).
- Deprecated function : Creation of dynamic property WSClientServiceDescription::$authentication is deprecated dans EntityAPIController->load() (ligne 256 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/entity/includes/entity.controller.inc).
- Deprecated function : Creation of dynamic property WSClientServiceDescription::$status is deprecated dans EntityAPIController->load() (ligne 256 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/entity/includes/entity.controller.inc).
- Deprecated function : Creation of dynamic property WSClientServiceDescription::$module is deprecated dans EntityAPIController->load() (ligne 256 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/entity/includes/entity.controller.inc).
Mes cours favoris
Ce système permet de sélectionner vos cours favoris en prévision de votre inscription qui se fait sur le portail étudiant.
| Trimestre | Cours | Groupe |
|---|
Description du cours
Ce cours est inactif.
- Cycle : 1
- Type de cours : Magistral
- Nombre de crédits : 3
- Discipline : Mathématiques
Description
Maîtriser les notions de base de la logique mathématique et de l'arithmétique générale des ensembles. Symbolisation: propositions, fonctions propositionnelles, descriptions, fonctions descriptives, connecteurs logiques. Variables libres et liées. Terme libre pour une variable dans une formule. Notion d'inférence: directe ou indirecte. Calcul des inférences à l'aide des règles de déduction naturelle. Vérité et fausseté des propositions. Contre-exemples. Ensembles finis et infinis (dénombrables et indénombrables) : exemples et théorèmes fondamentaux. Cardinalité. Énoncé du théorème de Cantor-Bernstein et exemples d'applications. Réunions et intersections générales d'ensembles; application aux sous-structures engendrées (e.g. sous-espaces vectoriels). Théories du premier ordre, exemples classiques. Langages algébriques.
