Sommaire
cours / présentation, exercice, questionnaire, autoévaluation
Quantificateurs (Module : Logique et langage des ensembles)
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....
Date de création :
2000Auteur(s) :
Eliane Cousquer, Carlos SacréPrésentation
Informations pratiques
Langue du document : Français
Type : cours / présentation, exercice, questionnaire, autoévaluation
Niveau : enseignement supérieur, licence
Langues : Français
Contenu : texte, image fixe, ressource interactive
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é
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.
- Granularité : cours
- Structure : atomique
"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 pédagogiques
- Activité induite : apprendre
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 : 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
Document(s) annexe(s)
- Cette ressource fait partie de
Fiche technique
Identifiant de la fiche : UEL-Log-Lang-3quantif
Identifiant OAI-PMH : UEL-Log-Lang-3quantif
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