Ressource pédagogique : Implication (Module : Logique et langage des ensembles)

Accédez à la ressource pédagogique Implication (Module : Logique et langage des ensembles)
Mots-clés :
Accéder à la ressource pédagogiqueDroits d'accès : non autorisé
cours / présentation, exercice, questionnaire, autoévaluation - Date de création : 2000
Auteur(s) : Eliane Cousquer, Carlos Sacré
Partagez !

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

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)

Diffusion

Document(s) annexe(s) - Implication (Module : Logique et langage des ensembles)

Partagez !

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
  • Entrepôt d'origine
    UNISCIEL (uel)
  • Date de publication
    2000