An Entity of Type: WikicatBasicConceptsInSetTheory, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In mathematics, the algebra of sets, not to be confused with the mathematical structure of an algebra of sets, defines the properties and laws of sets, the set-theoretic operations of union, intersection, and complementation and the relations of set equality and set inclusion. It also provides systematic procedures for evaluating expressions, and performing calculations, involving these operations and relations.

Property Value
dbo:abstract
  • Množinová algebra definuje vlastnosti a zákony množinově teoretických operací sjednocení, průniku a doplňku a množinových relací rovnosti a inkluze. Poskytuje také systematické postupy pro vyhodnocování výrazů a provádění výpočtů obsahujících tyto operace a relace. Jakýkoli systém množin uzavřený vůči množinovým operacím vytváří Booleovu algebru, ve které je sjednocení operací spojení, průnik je operací průseku, množinový doplněk je operací doplňku, nejmenší prvek je prázdná množina a největší prvek je univerzální množina. (cs)
  • In mathematics, the algebra of sets, not to be confused with the mathematical structure of an algebra of sets, defines the properties and laws of sets, the set-theoretic operations of union, intersection, and complementation and the relations of set equality and set inclusion. It also provides systematic procedures for evaluating expressions, and performing calculations, involving these operations and relations. Any set of sets closed under the set-theoretic operations forms a Boolean algebra with the join operator being union, the meet operator being intersection, the complement operator being set complement, the bottom being and the top being the universe set under consideration. (en)
  • Matematikan, multzoen aljebrak, multzoen propietateek eta legeek, bildura, ebakidura eta osaketaren eragiketak definitzen ditu. Adierazpideak ebaluatzeko eta kalkuluak egiteko prozedura sistematikoak ere ematen ditu, eragiketa eta erlazio horiek tartean sartuz. Multzoen arteko eragiketen bidez, multzo "zaharretatik" berriak eraiki ahal izango ditugu, enuntziatu zaharretik berriak eraikiz. Lotura estua izango dute eraikunta modu hauek eraikuntzekin. Lotura izango dute ukapen, konjuntzio eta disjuntzioarekin. De Morganen Legeak honako bi arau betetzen ditu: * * (eu)
  • En matemáticas, álgebra de conjuntos​​​ es el estudio de las operaciones básicas que pueden realizarse con conjuntos, como la unión, intersección y complementación. (es)
  • 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). (fr)
  • 集合の代数学(しゅうごうのだいすうがく、英: algebra of sets)は、集合の集まりを結び・交わり・補演算といった集合演算、集合の相等関係・包含関係のような二項関係などを持つ体系として捉えたものである。集合の代数学を考えることで、集合に関する基本的な性質・法則を明らかにし、これらの演算や関係に伴って必要となる式の評価や計算の実行に関して系統的な扱いができるようになる。 (ja)
  • In de wiskunde is een algebra van verzamelingen een model voor een booleaanse algebra of een aan de hand van een stel deelverzamelingen van een gegeven verzameling. (nl)
  • Mängdalgebra definierar egenskaper och lagar hos mängder, operationer union, snitt och komplement. Det tillhandahåller också systematiska förfaranden för utvärdering av uttryck och beräkningar som involverar dessa operationer och relationer. (sv)
  • 集合代数发展并描述了集合的基本性质和规律,集合论运算,如并集、交集、补集,以及集合的关系,如等于、包含。这门学科系统研究如何来表达和进行上述的运算和关系的操作。 (zh)
  • Алгебра множин — розділ теорії множин, який визначає закони композиції множин, виходячи з основних властивостей операцій над ними, а також пропонує певну систематичну процедуру для обчислення теоретико-множинних рівнянь та співвідношень.[джерело?] З точки зору абстрактної алгебри алгебра множин — це кільце K підмножин множини R, що містить R. (uk)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 961805 (xsd:integer)
dbo:wikiPageLength
  • 13628 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1108481232 (xsd:integer)
dbo:wikiPageWikiLink
dbp:date
  • August 2013 (en)
dbp:reason
  • Explain which set operator corresponds to which linear-logic operator. Linear logic seems to have much more operators than a boolean algebra, but the section 'Algebraic semantics' of the 'linear logic' article is still unwritten. (en)
dbp:wikiPageUsesTemplate
dcterms:subject
rdf:type
rdfs:comment
  • Množinová algebra definuje vlastnosti a zákony množinově teoretických operací sjednocení, průniku a doplňku a množinových relací rovnosti a inkluze. Poskytuje také systematické postupy pro vyhodnocování výrazů a provádění výpočtů obsahujících tyto operace a relace. Jakýkoli systém množin uzavřený vůči množinovým operacím vytváří Booleovu algebru, ve které je sjednocení operací spojení, průnik je operací průseku, množinový doplněk je operací doplňku, nejmenší prvek je prázdná množina a největší prvek je univerzální množina. (cs)
  • Matematikan, multzoen aljebrak, multzoen propietateek eta legeek, bildura, ebakidura eta osaketaren eragiketak definitzen ditu. Adierazpideak ebaluatzeko eta kalkuluak egiteko prozedura sistematikoak ere ematen ditu, eragiketa eta erlazio horiek tartean sartuz. Multzoen arteko eragiketen bidez, multzo "zaharretatik" berriak eraiki ahal izango ditugu, enuntziatu zaharretik berriak eraikiz. Lotura estua izango dute eraikunta modu hauek eraikuntzekin. Lotura izango dute ukapen, konjuntzio eta disjuntzioarekin. De Morganen Legeak honako bi arau betetzen ditu: * * (eu)
  • En matemáticas, álgebra de conjuntos​​​ es el estudio de las operaciones básicas que pueden realizarse con conjuntos, como la unión, intersección y complementación. (es)
  • 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). (fr)
  • 集合の代数学(しゅうごうのだいすうがく、英: algebra of sets)は、集合の集まりを結び・交わり・補演算といった集合演算、集合の相等関係・包含関係のような二項関係などを持つ体系として捉えたものである。集合の代数学を考えることで、集合に関する基本的な性質・法則を明らかにし、これらの演算や関係に伴って必要となる式の評価や計算の実行に関して系統的な扱いができるようになる。 (ja)
  • In de wiskunde is een algebra van verzamelingen een model voor een booleaanse algebra of een aan de hand van een stel deelverzamelingen van een gegeven verzameling. (nl)
  • Mängdalgebra definierar egenskaper och lagar hos mängder, operationer union, snitt och komplement. Det tillhandahåller också systematiska förfaranden för utvärdering av uttryck och beräkningar som involverar dessa operationer och relationer. (sv)
  • 集合代数发展并描述了集合的基本性质和规律,集合论运算,如并集、交集、补集,以及集合的关系,如等于、包含。这门学科系统研究如何来表达和进行上述的运算和关系的操作。 (zh)
  • Алгебра множин — розділ теорії множин, який визначає закони композиції множин, виходячи з основних властивостей операцій над ними, а також пропонує певну систематичну процедуру для обчислення теоретико-множинних рівнянь та співвідношень.[джерело?] З точки зору абстрактної алгебри алгебра множин — це кільце K підмножин множини R, що містить R. (uk)
  • In mathematics, the algebra of sets, not to be confused with the mathematical structure of an algebra of sets, defines the properties and laws of sets, the set-theoretic operations of union, intersection, and complementation and the relations of set equality and set inclusion. It also provides systematic procedures for evaluating expressions, and performing calculations, involving these operations and relations. (en)
rdfs:label
  • Množinová algebra (cs)
  • Algebra of sets (en)
  • Álgebra de conjuntos (es)
  • Multzoen arteko aljebra (eu)
  • Aljabar himpunan (in)
  • Algèbre des parties d'un ensemble (fr)
  • 集合の代数学 (ja)
  • Algebra van verzamelingen (nl)
  • Mängdalgebra (sv)
  • Алгебра множин (uk)
  • 集合代数 (zh)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is rdfs:seeAlso of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License