Sommaire
cours / présentation, questionnaire, exercice, autoévaluation
Logique et langage des ensembles (Module complet)
Les notions abordées dans ce module sont des notions de base qui interviennent dans tous les domaines des mathématiques.
Souvent considérées comme acquises par les étudiants après un cours d'introduction rapide, elles sont susceptibles...
Date de création :
2000Auteur(s) :
Eliane Cousquer, Carlos SacréAccéder à la ressource :
Présentation
Informations pratiques
Langue du document : Français
Type : cours / présentation, questionnaire, exercice, autoévaluation
Niveau : enseignement supérieur, licence
Langues : Français
Contenu : collection
Public(s) cible(s) : apprenant
Document : Document HTML
Droits d'auteur : pas libre de droits, gratuit
Voir la page Crédits: http://uel.unisciel.fr/credits.html
Voir la page Crédits: http://uel.unisciel.fr/credits.html
Description de la ressource
Résumé
Les notions abordées dans ce module sont des notions de base qui interviennent dans tous les domaines des mathématiques. Souvent considérées comme acquises par les étudiants après un cours d'introduction rapide, elles sont susceptibles de causer des difficultés dans tout le travail ultérieur, en cas de maîtrise insuffisante.On trouve 9 parties dans ce module : Connecteurs, Langage des ensembles, Quantificateurs, Implication, Applications, Relations, Démonstrations, Rédactions et Cardinal d'un ensemble. Des exercices et auto-évaluations sont disponibles à la fin de certains chapitres.
- Granularité : module
- Structure : hiérarchique
"Domaine(s)" et indice(s) Dewey
- Logique mathématique (Logique symbolique) (511.3)
Domaine(s)
- Principes généraux
- Généralités, philosophie, théorie des mathématiques
- Mathématiques inductives déductives
Informations techniques
- Implémenteur(s) technique(s) : Gilles Cousquer, Sébastien Picot, Alain Cousquer, Bruno Six, Régis Devoldere, Olivier Touron
Intervenants, édition et diffusion
Intervenants
Implémenteur(s) technique(s) : Gilles Cousquer, Sébastien Picot, Alain Cousquer, Bruno Six, Régis Devoldere, Olivier Touron
Créateur(s) de la métadonnée : Marie Peterlongo
Validateur(s) de la métadonnée : Marie Peterlongo, Vanessa Agustinos
Édition
- Université Lille-I USTL
- CERIMES SFRS
- UNISCIEL
- Ministère de l'Éducation nationale, de l'Enseignement supérieur et de la Recherche
Diffusion
Cette ressource vous est proposée par :
Document(s) annexe(s)
- Cette ressource fait partie de
Fiche technique
Identifiant de la fiche : UEL-Maths-logi
Identifiant OAI-PMH : UEL-Maths-logi
Statut de la fiche : final
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
Entrepôt d'origine : UNISCIEL
Voir aussi
01.01.2000
Description
:
Ce chapitre étudie le signe logique "implique" qui permet l'écriture formelle des théorèmes.
Ce signe s'exprime à l'aide des connecteurs logiques déjà étudiés, conjonction, disjonction et négation.
Nous étudierons les différentes façons d'écrire les théorèmes ainsi ...
- ensembles
- implications
- logique des ensembles
- langages
01.01.2000
Description
:
L'objet de ce cours est de présenter les signes qui dans le langage mathématique expriment
la quantification, c'est à dire la quantité d'objets (aucun, certains, tous) pour lesquels une propriété est vraie,
signes que l'on appelle des quantificateurs.
- ensembles
- quantificateurs
- logique des ensembles