Rechercher une ressource pédagogique : logique des ensembles

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

8 résultats
section 1 sur 1
résultats 1 à 8
UNISCIEL (uel)
UNISCIEL (uel)
01.01.2000
Applications (Module : Logique et langage des ensembles)
Description : Le but est de généraliser la notion de fonction numérique y=f(x)étudiée au lycée. Nous voulons généraliser cette notion de fonction à des relations entre ensembles. Nous ne parlerons plus alors de fonction, mais plutôt d'application (ou d'application ponctuelle). ...
  • ensembles
  • logique des ensembles
  • application
  • fonction numérique
UNISCIEL (uel)
UNISCIEL (uel)
01.01.2000
Démonstrations (Module : Logique et langage des ensembles)
Description : 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 ...
  • ensembles
  • logique des ensembles
  • démonstration
  • implication
  • disjonction
  • conjonction
UNISCIEL (unisciel)
UNISCIEL (unisciel)
01.01.2013
Exo 7(cours et exercices)
Description : Le site internet Exo 7 destiné aux étudiants regroupe des fiches corrigées de niveau licence. Ces fiches sont regroupées par niveau et par module.
  • logique et ensemble
  • espaces vectoriels
  • matrices
UNISCIEL (unisciel)
UNISCIEL (unisciel)
01.01.2013
Exo 7(vidéos)
Description : Ces vidéos Exo 7 viennent en complément de la correction écrite des fiches. Les vidéos durent 5 à 15 minutes (en moyenne) et sont composées de deux parties. Tout d'abord la correction proprement dite et ensuite une partie « Bonus » qui approfondie, complète, reprend un résultat du cours ou donne ...
  • logique et ensemble
  • espaces vectoriels
  • matrices
UNISCIEL (uel)
UNISCIEL (uel)
01.01.2000
Implication (Module : Logique et langage des ensembles)
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 (uel)
UNISCIEL (uel)
01.01.2000
Quantificateurs (Module : Logique et langage des ensembles)
Description : L'objet de ce cours est de présenter les signes qui dans le langage mathématique expriment la quantification, c'est à dire la quantité d'objets (aucun, certains, tous) pour lesquels une propriété est vraie, signes que l'on appelle des quantificateurs.
  • ensembles
  • quantificateurs
  • logique des ensembles
UNISCIEL (uel)
UNISCIEL (uel)
01.01.2000
Rédaction (Module : Logique et langage des ensembles)
Description : L'usage des signes logiques est source de beaucoup d'erreurs. Dans ce chapitre, on précise les règles pour utiliser le formalisme de façon sûre.
  • ensembles
  • signes
  • logique des ensembles
  • langage mathématique
UNISCIEL (uel)
UNISCIEL (uel)
01.01.2000
Relations (Module : Logique et langage des ensembles)
Description : Dans ce chapitre seront vu les relations. Une relation est définie par son graphe. Ce chapitre propose une étude des relations, via la relation d'équivalence et la relation d'ordre
  • ensembles
  • logique des ensembles
  • relation d'ordre
  • relation d'équivalence
  • application croissante