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 :

2000

Auteur(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

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

Cette ressource vous est proposée par :UNISCIEL - accédez au site internet

Document(s) annexe(s)

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
Entrepôt d'origine : UNISCIEL

Voir aussi

UNISCIEL (uel)
UNISCIEL (uel)
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
UNISCIEL (unisciel)
UNISCIEL (unisciel)
01.01.2014
Description : Pour utiliser le dispositif, vous devez créer votre compte sur la plate-forme et vous inscrire gratuitement au cours. Ce cours de 5 semaines est destiné aux étudiants de L2 chimie. Il reprend les grands principes de raisonnement utilisés en spectroscopie infrarouge. Les fonctions chimiques sont ...
  • logique
  • déduction
  • démonstration
  • quantificateurs
  • langage des ensembles
  • grands principes de raisonnements