Sommaire
cours / présentation, exercice, questionnaire
Démonstrations (Module : Logique et langage des ensembles)
Dans une démonstration, on a des objets donnés dans l'énoncé, des hypothèses c'est-à-dire de propriétés de ces objets
qui sont supposées vraies, et il s'agit de démontrer un but, qui est une propriété que l'on doit établir et qui concerne ces mêmes objets,
à l'aide de...
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
Niveau : enseignement supérieur, licence
Langues : Français
Contenu : texte, 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é
Dans une démonstration, on a des objets donnés dans l'énoncé, des hypothèses c'est-à-dire de propriétés de ces objets qui sont supposées vraies, et il s'agit de démontrer un but, qui est une propriété que l'on doit établir et qui concerne ces mêmes objets, à l'aide des hypothèses et des propriétés connues antérieurement (les axiomes, les théorèmes, ...). Toutes les démonstrations ne se réduisent pas à des automatismes, mais le peu de logique pratique développée dans ce chapitre doit aider à organiser une démonstration.
- 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-7demi
Identifiant OAI-PMH : UEL-Log-Lang-7demi
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