Ressource pédagogique : Démonstrations (Module : Logique et langage des ensembles)
cours / présentation, exercice, questionnaire - Date de création : 2000
Présentation de: Démonstrations (Module : Logique et langage des ensembles)
Informations pratiques sur cette ressource
Langue du document : Français
Type pédagogique : cours / présentation, exercice, questionnaire
Niveau : enseignement supérieur, licence
Langue de l'apprenant : 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 pédagogique
Description (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)
Thème(s)
Informations pédagogiques
- Activité induite : apprendre
Informations techniques sur cette ressource pédagogique
- 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
Éditeur(s)
-
Université Lille-I USTL
Voir toutes les ressources pédagogiques -
CERIMES SFRS
Voir toutes les ressources pédagogiques -
UNISCIEL
Voir toutes les ressources pédagogiques -
Ministère de l'Éducation nationale, de l'Enseignement supérieur et de la Recherche
Voir toutes les ressources pédagogiques
Diffusion
Document(s) annexe(s) - Démonstrations (Module : Logique et langage des ensembles)
- Cette ressource fait partie de
AUTEUR(S)
-
Eliane Cousquer
Université Lille-I USTL;; -
Carlos Sacré
Université Lille-I USTL;;
ÉDITION
Université Lille-I USTL
CERIMES SFRS
UNISCIEL
Ministère de l'Éducation nationale, de l'Enseignement supérieur et de la Recherche
EN SAVOIR PLUS
-
Identifiant de la fiche
UEL-Log-Lang-7demi -
Identifiant
UEL-Log-Lang-7demi -
Statut de la fiche
final -
Schéma de la métadonnée
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
-
Entrepôt d'origine
-
Date de publication
2000