ENSEMBLES THÉORIE ÉLÉMENTAIRE DES

ENSEMBLES THÉORIE DES

  • Écrit par 
  • André ROUMANET, 
  • Jean-Luc VERLEY
  •  • 8 743 mots
  •  • 20 médias

L'algèbre des ensembles et l'étude abstraite des relations sont d'une importance croissante dans toutes les disciplines qui cherchent à s'exprimer dans un cadre rigoureux. En mathématiques, c'est l'interrogation sur les fondements de cette science, ainsi que les tentatives de formalisation des opérations logiques de la pensée qui ont conduit à l'élaboration […] Lire la suite☛ http://www.universalis.fr/encyclopedie/ensembles-theorie-des-theorie-elementaire/#i_34866

ALGÉBRIQUES STRUCTURES

  • Écrit par 
  • Jean-Marie PRUVOST-BEAURAIN
  •  • 34 159 mots

Dans le chapitre « Ensembles, parties, couples, multiplets »  : […] Rappelons tout d'abord que la locution « objet mathématique » désigne toute notion que l'on définit ou étudie en mathématique et que les noms « élément » et « ensemble » sont, du moins dans certaines théories, presque synonymes d'« objet mathématique » : lorsque deux objets mathématiques a et b peuvent être reliés par la relation d'appartenance, notée […] Lire la suite☛ http://www.universalis.fr/encyclopedie/structures-algebriques/#i_34866

BOOLE ALGÈBRE & ANNEAU DE

  • Écrit par 
  • Gabriel SABBAGH
  •  • 610 mots
  •  • 1 média

La notion d'algèbre de Boole, introduite par G. Boole (1847) et par A. De Morgan afin d'algébriser les opérations propositionnelles de la logique , joue un rôle très utile dans plusieurs branches des mathématiques (algèbre, théorie des ensembles ordonnés, calcul des probabilités) et en logique mathématique (logique algébrique, modèles booléens). On appelle algèbre de Boole ( […] Lire la suite☛ http://www.universalis.fr/encyclopedie/algebre-et-anneau-de-boole/#i_34866

BOOLE GEORGE (1815-1864)

  • Écrit par 
  • Universalis
  •  • 664 mots

Mathématicien et logicien anglais, Boole est le créateur de la logique symbolique. Né à Lincoln et fils d'un petit commerçant, il reçut ses premières leçons de mathématiques de son père, qui lui apprit aussi à fabriquer des instruments d'optique. En dehors des conseils de son père et de quelques années passées dans les écoles locales, Boole est un autodidacte. Quand les affaires de son père déclin […] Lire la suite☛ http://www.universalis.fr/encyclopedie/george-boole/#i_34866

DÉNOMBREMENT IDÉE DE

  • Écrit par 
  • Roger DAVAL
  •  • 2 392 mots

Dans le chapitre « Le dénombrement du point de vue empirique »  : […] Rien n'est, en pareil cas, plus suggestif que la lecture de quelques dictionnaires ou lexiques français-anglais, français-allemand, français-italien, etc., et d'y regarder par quels mots est traduit le mot français « dénombrement » ; sans qu'il soit nécessaire d'aller jusqu'à l'étude exhaustive et systématique que devrait faire un linguiste, on voit pourtant apparaître le noyau sémantique de la no […] Lire la suite☛ http://www.universalis.fr/encyclopedie/idee-de-denombrement/#i_34866

MODÈLE

  • Écrit par 
  • Raymond BOUDON, 
  • Hubert DAMISCH, 
  • Jean GOGUEL, 
  • Sylvanie GUINAND, 
  • Bernard JAULIN, 
  • Noël MOULOUD, 
  • Jean-François RICHARD, 
  • Bernard VICTORRI
  •  • 24 440 mots
  •  • 2 médias

Dans le chapitre « La sémantique et les modèles en mathématiques »  : […] Si l'on s'en tient à une caractérisation très générale des modèles et qu'on entende par là une partie concrète de la théorie qui est directement en rapport avec certains objets, il y a lieu de rappeler que les structures abstraites des mathématiques, définies au niveau des symbolismes purs, se sont formées par abstraction à partir de tels « modèles ». Ainsi, la doctrine des opérations numériques a […] Lire la suite☛ http://www.universalis.fr/encyclopedie/modele/#i_34866

NOTATION MATHÉMATIQUE

  • Écrit par 
  • Hans FREUDENTHAL
  •  • 10 388 mots
  •  • 1 média

Dans le chapitre « Les ensembles »  : […] Depuis Leibniz, on a avancé divers systèmes de notations pour la logique symbolique. Il faut mentionner les tentatives de Boole (1847), E. Schröder (1877), G. Frege (1879, 1893), Peano (1891, et son Formulaire de mathématique à partir de 1895), Russell et Whitehead (1910) ; tous ces systèmes incluent les notations ensemblistes. Il y a un manque d'uniformité dans les notations […] Lire la suite☛ http://www.universalis.fr/encyclopedie/notation-mathematique/#i_34866

ORDONNÉS ENSEMBLES

  • Écrit par 
  • André WARUSFEL
  •  • 1 801 mots
  •  • 2 médias

Les relations d'ordre interviennent de manière naturelle dans des questions comme l'étude des liens de parenté et celle des liens de subordination, comme les problèmes de classification, etc. C'est de là, et de la relation ≤ entre nombres, que découle la terminologie habituellement employée : on dit que a est « plus petit » que b , que […] Lire la suite☛ http://www.universalis.fr/encyclopedie/ensembles-ordonnes/#i_34866


Affichage 

Complémentaire

dessin

A ∩ (B ∪ C) 

Crédits : Encyclopædia Universalis France

Afficher

Complémentaire d'une intersection

dessin

Complémentaire d'un ensemble 

Crédits : Encyclopædia Universalis France

Afficher

Complémentarité d'une réunion

dessin

Complémentaire d'une intersection $ATT$ A ∩ B = A ∪ B 

Crédits : Encyclopædia Universalis France

Afficher

Différence

dessin

Complémentaire d'une réunion $ATT$ A ∪ B = A ∩ B 

Crédits : Encyclopædia Universalis France

Afficher

Différence symétrique

dessin

Différence A - B 

Crédits : Encyclopædia Universalis France

Afficher

Intersection

dessin

Intersection de deux ensembles 

Crédits : Encyclopædia Universalis France

Afficher

Relations sur l'ensemble des réels

diaporama

Graphes de relations sur R 

Crédits : Encyclopædia Universalis France

Afficher

Représentation cartésienne et sagittale

diaporama

Représentations cartésienne et sagittale de X ⊂ E × F 

Crédits : Encyclopædia Universalis France

Afficher

Réunion

dessin

Réunion de deux ensembles 

Crédits : Encyclopædia Universalis France

Afficher

Réunion et intersection

dessin

A ∪ (B ∩ C) 

Crédits : Encyclopædia Universalis France

Afficher

Arbre de choix d'un ensemble à trois éléments

dessin

emptynull 

Crédits : Encyclopædia Universalis France

Afficher

Représentation par les points du plan

dessin

emptynull 

Crédits : Encyclopædia Universalis France

Afficher

Composition des applications

diaporama

Composition des applications 

Crédits : Encyclopædia Universalis France

Afficher

Diagrammes de Venn et de Carroll

graphique

Diagramme de Venn (haut) Diagramme de Carroll (bas) 

Crédits : Encyclopædia Universalis France

Afficher

Relation x + y est divisible par 3

dessin

Graphe de la relation « x + y est divisible par 3 »sur E = {1, 2, 3, 4} 

Crédits : Encyclopædia Universalis France

Afficher

Relation x - y multiple de 3

dessin

Diagramme sagittal de la relation « x - y multiple de 3 »sur E = {1, 2, 3, 4, 5} 

Crédits : Encyclopædia Universalis France

Afficher

Adjonction d'un élément à une partie d'un ensemble

diaporama

emptynull 

Crédits : Encyclopædia Universalis France

Afficher

Principe de la quantification

graphique

emptynull 

Crédits : Encyclopædia Universalis France

Afficher

Représentation cartésienne

dessin

emptynull 

Crédits : Encyclopædia Universalis France

Afficher

Relation la voyelle x figure dans l'écriture en français du chiffre y

diaporama

emptynull 

Crédits : Encyclopædia Universalis France

Afficher

Complémentaire
Crédits : Encyclopædia Universalis France

dessin

Complémentaire d'une intersection
Crédits : Encyclopædia Universalis France

dessin

Complémentarité d'une réunion
Crédits : Encyclopædia Universalis France

dessin

Différence
Crédits : Encyclopædia Universalis France

dessin

Différence symétrique
Crédits : Encyclopædia Universalis France

dessin

Intersection
Crédits : Encyclopædia Universalis France

dessin

Relations sur l'ensemble des réels
Crédits : Encyclopædia Universalis France

diaporama

Représentation cartésienne et sagittale
Crédits : Encyclopædia Universalis France

diaporama

Réunion
Crédits : Encyclopædia Universalis France

dessin

Réunion et intersection
Crédits : Encyclopædia Universalis France

dessin

Arbre de choix d'un ensemble à trois éléments
Crédits : Encyclopædia Universalis France

dessin

Représentation par les points du plan
Crédits : Encyclopædia Universalis France

dessin

Composition des applications
Crédits : Encyclopædia Universalis France

diaporama

Diagrammes de Venn et de Carroll
Crédits : Encyclopædia Universalis France

graphique

Relation x + y est divisible par 3
Crédits : Encyclopædia Universalis France

dessin

Relation x - y multiple de 3
Crédits : Encyclopædia Universalis France

dessin

Adjonction d'un élément à une partie d'un ensemble
Crédits : Encyclopædia Universalis France

diaporama

Principe de la quantification
Crédits : Encyclopædia Universalis France

graphique

Représentation cartésienne
Crédits : Encyclopædia Universalis France

dessin

Relation la voyelle x figure dans l'écriture en français du chiffre y
Crédits : Encyclopædia Universalis France

diaporama