Ressource pédagogique : Implication (Module : Logique et langage des ensembles)
cours / présentation, exercice, questionnaire, autoévaluation - Date de création : 2000
Présentation de: Implication (Module : Logique et langage des ensembles)
Informations pratiques sur cette ressource
Langue du document : Français
Type pédagogique : cours / présentation, exercice, questionnaire, autoévaluation
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é)
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 que les différentes propositions liées à une proposition donnée, contraposée, réciproque.
- 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) - Implication (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-4implic -
Identifiant
UEL-Log-Lang-4implic -
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