Accès plus rapide que le navigateur!
36 relations: Algèbre d'ensembles, Algèbre de Boole (logique), Algèbre de Boole (structure), Algèbre des parties d'un ensemble, Anneau commutatif, Anneau de Boole, Associativité, Auguste De Morgan, Axiome d'extensionnalité, Axiome du choix, Élément neutre, Birkhäuser Verlag, Borne supérieure et borne inférieure, Calcul des prédicats, Calcul des propositions, Complémentaire (théorie des ensembles), Diagramme de Venn, Distributivité, Ensemble, Ensemble des parties d'un ensemble, Ensemble stable, Ensembles disjoints, Famille (mathématiques), Groupe abélien, Idempotence, Inclusion (mathématiques), Intersection (mathématiques), Opération ensembliste, Relation d'ordre, Robert Lawson Vaught, Schéma d'axiomes de compréhension, Somme d'ensembles, Table de vérité, Théorie des ensembles, Théorie naïve des ensembles, Union (mathématiques).
Algèbre d'ensembles
Le concept intervient dans l'exposition des bases de la théorie de la mesure, sous des noms assez variés dans les sources en français: outre algèbre d'ensembles, et sa variante corps d'ensembles, on trouve aussi algèbre de Boole de parties, ou plus brièvement algèbre de Boole, voire simplement algèbre, et encore anneau booléen unitaire ou clan unitaire.
Nouveau!!: Algèbre des parties d'un ensemble et Algèbre d'ensembles · Voir plus »
Algèbre de Boole (logique)
Lalgèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions.
Nouveau!!: Algèbre des parties d'un ensemble et Algèbre de Boole (logique) · Voir plus »
Algèbre de Boole (structure)
'''Exemple d'algèbre de Boole''': l'ensemble des parties de l'ensemble x, y, z illustré par son diagramme de Hasse. En mathématiques, une algèbre de Boole, ou parfois anneau de Boole, est une structure algébrique étudiée en particulier en logique mathématique.
Nouveau!!: Algèbre des parties d'un ensemble et Algèbre de Boole (structure) · Voir plus »
Algèbre des parties d'un ensemble
En théorie des ensembles, l'ensemble des parties d'un ensemble, muni des opérations d'intersection, de réunion, et de passage au complémentaire, possède une structure d'algèbre de Boole.
Nouveau!!: Algèbre des parties d'un ensemble et Algèbre des parties d'un ensemble · Voir plus »
Anneau commutatif
Un anneau commutatif est un anneau dans lequel la loi de multiplication est commutative.
Nouveau!!: Algèbre des parties d'un ensemble et Anneau commutatif · Voir plus »
Anneau de Boole
Un anneau de Boole (ou Algèbre de Boole), est un anneau unitaire (E, +, •, 0, 1) dans lequel tout élément a vérifie la relation a•a.
Nouveau!!: Algèbre des parties d'un ensemble et Anneau de Boole · Voir plus »
Associativité
En mathématiques, et plus précisément en algèbre générale, une loi de composition interne ou loi interne \star sur un ensemble est dite associative si pour tous, et dans: En notant m:E\times E\to E,\;(x,y)\mapsto x\star y, l'associativité se traduit par le diagramme commutatif suivant: Parmi les lois associatives, on peut citer les lois d'addition et de multiplication des nombres réels, des nombres complexes et des matrices carrées, l'addition des vecteurs, et l'intersection, la réunion d'ensembles.
Nouveau!!: Algèbre des parties d'un ensemble et Associativité · Voir plus »
Auguste De Morgan
Auguste (ou Augustus) De Morgan (à Madurai (Tamil Nadu) -) est un mathématicien et logicien britannique, né en Inde.
Nouveau!!: Algèbre des parties d'un ensemble et Auguste De Morgan · Voir plus »
Axiome d'extensionnalité
L’axiome d’extensionnalité est l’un des axiomes-clés de la plupart des théories des ensembles, en particulier, des théories des ensembles de Zermelo, et de Zermelo-Fraenkel (ZF).
Nouveau!!: Algèbre des parties d'un ensemble et Axiome d'extensionnalité · Voir plus »
Axiome du choix
Pour tout ensemble d'ensembles non vides (les jarres), il existe une fonction qui associe à chacun de ces ensembles (ces jarres) un élément contenu dans cet ensemble (cette jarre). En mathématiques, l'axiome du choix, abrégé en « AC », est un axiome de la théorie des ensembles qui Il a été formulé pour la première fois par Ernest Zermelo en 1904 pour la démonstration du théorème de Zermelo.
Nouveau!!: Algèbre des parties d'un ensemble et Axiome du choix · Voir plus »
Élément neutre
En mathématiques, plus précisément en algèbre, un élément neutre (ou élément identité) d'un ensemble pour une loi de composition interne est un élément de cet ensemble qui laisse tous les autres éléments inchangés lorsqu'il est composé avec eux par cette loi.
Nouveau!!: Algèbre des parties d'un ensemble et Élément neutre · Voir plus »
Birkhäuser Verlag
est une maison d'édition suisse fondée en 1879 et spécialisée dans l'architecture, le paysage et le design.
Nouveau!!: Algèbre des parties d'un ensemble et Birkhäuser Verlag · Voir plus »
Borne supérieure et borne inférieure
En mathématiques, les notions de borne supérieure et borne inférieure d'un ensemble de nombres réels interviennent en analyse, comme cas particulier de la définition générale suivante: la borne supérieure (ou le supremum) d'une partie d'un ensemble (partiellement) ordonné est le plus petit de ses majorants.
Nouveau!!: Algèbre des parties d'un ensemble et Borne supérieure et borne inférieure · Voir plus »
Calcul des prédicats
En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique.
Nouveau!!: Algèbre des parties d'un ensemble et Calcul des prédicats · Voir plus »
Calcul des propositions
Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique.
Nouveau!!: Algèbre des parties d'un ensemble et Calcul des propositions · Voir plus »
Complémentaire (théorie des ensembles)
En mathématiques, et plus particulièrement en théorie des ensembles, le complémentaire d'une partie A d'un ensemble E est constitué de tous les éléments de E n'appartenant pas à A. Le complémentaire de A est.
Nouveau!!: Algèbre des parties d'un ensemble et Complémentaire (théorie des ensembles) · Voir plus »
Diagramme de Venn
russe. Un diagramme de Venn (également appelé diagramme logique) est un diagramme qui montre toutes les relations logiques possibles dans une collection finie de différents ensembles.
Nouveau!!: Algèbre des parties d'un ensemble et Diagramme de Venn · Voir plus »
Distributivité
En mathématiques, plus précisément en arithmétique et en algèbre générale, la distributivité d'une opération par rapport à une autre est une généralisation de la propriété élémentaire: « le produit d'une somme est égal à la somme des produits ».
Nouveau!!: Algèbre des parties d'un ensemble et Distributivité · Voir plus »
Ensemble
Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles.
Nouveau!!: Algèbre des parties d'un ensemble et Ensemble · Voir plus »
Ensemble des parties d'un ensemble
En mathématiques, l'ensemble des parties d'un ensemble, parfois appelé ensemble puissance, est l'ensemble de tous les sous-ensembles d'un ensemble donné (y compris cet ensemble lui-même et l'ensemble vide).
Nouveau!!: Algèbre des parties d'un ensemble et Ensemble des parties d'un ensemble · Voir plus »
Ensemble stable
En mathématiques, un ensemble est stable ou invariant par une application ou par diverses opérations si les images de ses éléments appartiennent toutes à ce même ensemble.
Nouveau!!: Algèbre des parties d'un ensemble et Ensemble stable · Voir plus »
Ensembles disjoints
Trois ensembles disjoints En mathématiques, deux ensembles sont dits disjoints s'ils n'ont pas d'éléments en commun.
Nouveau!!: Algèbre des parties d'un ensemble et Ensembles disjoints · Voir plus »
Famille (mathématiques)
En mathématiques, la notion de famille est une généralisation de celle de suite, suite finie ou suite indexée par tous les entiers naturels.
Nouveau!!: Algèbre des parties d'un ensemble et Famille (mathématiques) · Voir plus »
Groupe abélien
En mathématiques, plus précisément en algèbre, un groupe abélien (du nom de Niels Abel), ou groupe commutatif, est un groupe dont la loi de composition interne est commutative.
Nouveau!!: Algèbre des parties d'un ensemble et Groupe abélien · Voir plus »
Idempotence
En mathématiques et en informatique, l'idempotence signifie qu'une opération a le même effet qu'on l'applique une ou plusieurs fois.
Nouveau!!: Algèbre des parties d'un ensemble et Idempotence · Voir plus »
Inclusion (mathématiques)
En mathématiques, l’inclusion est une relation d'ordre entre ensembles.
Nouveau!!: Algèbre des parties d'un ensemble et Inclusion (mathématiques) · Voir plus »
Intersection (mathématiques)
Dans la théorie des ensembles, l'intersection est une opération ensembliste qui porte le même nom que son résultat, à savoir l'ensemble des éléments appartenant à la fois aux deux opérandes: l'intersection de deux ensembles A et B est l'ensemble, noté, dit « A inter B », qui contient tous les éléments appartenant à la fois à A et à B, et seulement ceux-là.
Nouveau!!: Algèbre des parties d'un ensemble et Intersection (mathématiques) · Voir plus »
Opération ensembliste
Les opérations ensemblistes sont les opérations mathématiques faites sur les ensembles, sans s'occuper de la nature des éléments qui composent ces ensembles.
Nouveau!!: Algèbre des parties d'un ensemble et Opération ensembliste · Voir plus »
Relation d'ordre
Une relation d'ordre dans un ensemble est une relation binaire dans cet ensemble qui permet de comparer ses éléments de manière cohérente.
Nouveau!!: Algèbre des parties d'un ensemble et Relation d'ordre · Voir plus »
Robert Lawson Vaught
Robert Lawson Vaught (-) est un mathématicien logicien, un des fondateurs de la théorie des modèles.
Nouveau!!: Algèbre des parties d'un ensemble et Robert Lawson Vaught · Voir plus »
Schéma d'axiomes de compréhension
Le schéma d'axiomes de compréhension, ou schéma d'axiomes de séparation, est un schéma d'axiomes de la théorie des ensembles introduit par Zermelo dans sa théorie des ensembles, souvent notée Z. On dit souvent en abrégé schéma de compréhension ou schéma de séparation.
Nouveau!!: Algèbre des parties d'un ensemble et Schéma d'axiomes de compréhension · Voir plus »
Somme d'ensembles
Une illustration de la définition d'un ensemble de sommes sur plusieurs ensembles de 4, avec des tailles différentes En mathématiques, la somme d'ensembles est une opération qui possède deux définitions légèrement différentes selon l'usage qui en est fait.
Nouveau!!: Algèbre des parties d'un ensemble et Somme d'ensembles · Voir plus »
Table de vérité
Une table de vérité (parfois appelée fonction de vérité) est une table mathématique utilisée en logique classique — en particulier le calcul propositionnel classique et l'algèbre de Boole — pour représenter de manière sémantique des expressions logiques et calculer la valeur de leur fonction relativement à chacun de leurs arguments fonctionnels (chaque combinaison de valeur assumée par leurs variables logiques).
Nouveau!!: Algèbre des parties d'un ensemble et Table de vérité · Voir plus »
Théorie des ensembles
La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du.
Nouveau!!: Algèbre des parties d'un ensemble et Théorie des ensembles · Voir plus »
Théorie naïve des ensembles
Les ensembles sont d'une importance fondamentale en mathématiques; en fait, de manière formelle, la mécanique interne des mathématiques (nombres, relations, fonctions, etc.) peut se définir en termes d'ensembles.
Nouveau!!: Algèbre des parties d'un ensemble et Théorie naïve des ensembles · Voir plus »
Union (mathématiques)
Dans la théorie des ensembles, l'union ou réunion est une opération ensembliste de base.
Nouveau!!: Algèbre des parties d'un ensemble et Union (mathématiques) · Voir plus »
Redirections ici:
Algèbre des parties d’un ensemble, Différence ensembliste, Différence symétrique.
