Sommaire
cours / présentation, exercice, questionnaire
Langage des ensembles
Ce chapitre présente le langage des ensemble avec une théorie naïve, où les axiomes ne sont pas explicités. Cette théorie naïve est celle
qui préside à la pratique quotidienne en mathématique. Une série d'exercices est proposée en fin de chapitre.
...
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, exercice, questionnaire
Niveau : enseignement supérieur, licence
Langues : Français
Contenu : texte, ressource interactive, image fixe
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é
Ce chapitre présente le langage des ensemble avec une théorie naïve, où les axiomes ne sont pas explicités. Cette théorie naïve est celle qui préside à la pratique quotidienne en mathématique. Une série d'exercices est proposée en fin de chapitre.
- 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
Cette ressource vous est proposée par :
Document(s) annexe(s)
- Cette ressource fait partie de
Fiche technique
Identifiant de la fiche : UEL-Log-Lang-2lgge-ensemb
Identifiant OAI-PMH : UEL-Log-Lang-2lgge-ensemb
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
:
L'usage des signes logiques est source de beaucoup d'erreurs.
Dans ce chapitre, on précise les règles pour utiliser le formalisme de façon sûre.
- ensembles
- signes
- logique des ensembles
- langage mathématique
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