Concept

Loi d'absorption

En algèbre, la loi d'absorption est une identité reliant deux lois de composition interne. Deux lois de composition interne et vérifient la loi d'absorption si : Soit un ensemble muni de deux lois de composition interne et . Si ces lois sont commutatives, associatives et vérifient la loi d'absorption, la structure algébrique résultante est un treillis. Dans toute algèbre de Boole (ou plus généralement dans toute algèbre de Heyting), les deux opérations et vérifient la loi d'absorption : en particulier dans l'algèbre de Boole utilisée en logique et en informatique (, et = désignant alors respectivement la disjonction logique, la conjonction logique et l'équivalence logique).

Source officielle

https://fr.wikipedia.org/wiki/Loi_d'absorption

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Séances de cours associées (3)

Ensembles, fonctions et relations : Définir des identités

Couvre les identités de jeu et les différentes approches pour les prouver, y compris la notation du constructeur de jeu et les tables d'adhésion.

Algèbre booléenne : propriétés et théorèmes

Couvre les propriétés et les théorèmes de l'algèbre booléenne dans les systèmes logiques.

7.2 Absorption processes from Lecture 08 - 17 april 2024 - Part2

Publications associées (1)

Scaling between localization length and T-c in disordered YBa2Cu3O6.9

Davor Pavuna

We quantitatively study the effect of growth-induced reduction of long range structural order on the superconducting transition in epitaxial YBa2Cu3O6.9 films. The corresponding reduction of structural coherence length r(c) is determined from the width of X-ray diffraction rocking curves. T-c measurements in the films give evidence for the validity of the empirical scaling relation Delta T-c similar to r(c,ab)(-2), where Delta T-c is the disorder-induced reduction of T-c and r(c,ab) is the structural cohere

1999

Concepts associés (4)

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. Elle fut lancée en 1854 par le mathématicien britannique George Boole. L'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.

Treillis (ensemble ordonné)

En mathématiques, un treillis () est une des structures algébriques utilisées en algèbre générale. C'est un ensemble partiellement ordonné dans lequel chaque paire d'éléments admet une borne supérieure et une borne inférieure. Un treillis peut être vu comme le treillis de Galois d'une relation binaire. Il existe en réalité deux définitions équivalentes du treillis, une concernant la relation d'ordre citée précédemment, l'autre algébrique. Tout ensemble muni d'une relation d'ordre total est un treillis.

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. D'autres opérations s'en déduisent, comme la différence ensembliste et la différence symétrique. L'algèbre des parties d'un ensemble étudie l'arithmétique de ces opérations (voir l'article « Opération ensembliste » pour des opérations qui ne laissent pas stable l'ensemble des parties d'un ensemble).

Afficher plus

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.