About: Universe (mathematics)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Group100031264, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FUniverse_%28mathematics%29

In mathematics, and particularly in set theory, category theory, type theory, and the foundations of mathematics, a universe is a collection that contains all the entities one wishes to consider in a given situation. It is related to the concept of a domain of discourse in philosophy. In type theory, a universe is a type whose elements are types.

AttributesValues
rdf:type
rdfs:label
  • مجتمع (رياضيات)
  • Univers (matemàtiques)
  • Univerzální množina
  • Grundmenge
  • Universo (matematika)
  • Univers (logique)
  • Universe (mathematics)
  • 宇宙 (数学)
  • 전체모임
  • Universum (wiskunde)
  • Uniwersum (matematyka)
  • Conjunto universo
  • Universum (mängdteori)
  • 全集
rdfs:comment
  • في الرياضيات وتحديداً في نظرية المجموعات وأسس الرياضيات، المجتمع هو صنف يحتوي كعناصر جميع الكيانات التي يرغب في أخذها بالاعتبار في حالة معينة. ثمة إصدارات عديدة لهذه الفكرة العامة.
  • Univerzální množina (též univerzum) je množina všech prvků, které jsou relevantní v rámci daného kontextu (domény, problému). Univerzální množina bývá označována jako .
  • En matematiko, kaj speciale en arteorio kaj matematika logiko universo estas aro aŭ klaso da ĉiuj objektoj, kiujn oni deziras konsideri en koncerna kunteksto formala.
  • En mathématiques, et en particulier en théorie des ensembles et en logique mathématique, un univers est un ensemble (ou parfois une classe propre) ayant comme éléments tous les objets qu'on souhaite considérer dans un contexte donné.
  • 数理論理学において、 (もしくはモデル) の宇宙(うちゅう、英: Universe)とは議論領域のことである。 数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。
  • 집합론에서, 전체모임(全體-, 영어: universal class)은 고려하고자 하는 모든 대상을 포함하는 모임이다. 전체(全體), 세계(世界, 영어: universe) 등으로도 일컫는다. 전체모임은 집합일 수도, 아닐 수도 있으며, 집합인 경우에는 전체집합(全體集合)이라고 한다.
  • Uniwersum (z łac. ogół, wszystko, Wszechświat) – klasa wszystkich elementów rozpatrywanych w danym kontekście matematycznym.
  • In de verzamelingenleer, een deelgebied van de wiskunde, en de grondslagen van de wiskunde, is een universum een klasse, die als elementen alle entiteiten bevat, die men in een bepaalde situatie maar wenst te overwegen. Er bestaan verschillende versies van dit algemene idee.
  • Em matemática, principalmente na teoria dos conjuntos e nos fundamentos da matemática, um universo é uma classe que contém (como elementos) todas as entidades que se deseja considerar em uma certa situação. Assim, todos os conjuntos em questão seriam subconjuntos de um conjunto maior, que é conhecido como conjunto universo e indicado geralmente por Por exemplo: em um problema envolvendo conjuntos de números inteiros, o conjunto dos números inteiros pode ser tomado como conjunto universo. O universo também poderia ser o conjunto dos números racionais. * * *
  • Universum eller grundmängden är inom mängdteorin den mängd som omfattar samtliga element som behandlas. Inom naiv mängdlära avser universum vanligen den domän till vilken de mängder som studeras är delmängder och betecknas ibland med bokstaven . Går även under namnet grundmängd och betecknas då . Komplementoperationen på en mängd förutsätter att ett universum har specificerats. I axiomatisk mängdlära används begreppet universum ibland som synonym till begreppet modell för mängdläran.
  • 数学上,特别是在集合论和数学基础的应用中,全类(Universe,若是集合,则为全集)大约是这样一个类,它(在某种程度上)包含了所有的研究对象和集合。
  • L'univers de discurs, conjunt universal o referencial, que normalment s'expressa amb les lletres , és un conjunt l'objecte d'estudi del qual són els seus subconjunts. Anteriorment es considerava al conjunt universal com el conjunt de totes les coses, però està demostrat que aquest conjunt no existeix. Particularment perquè suposar l'existència d'aquest conjunt condueix a la paradoxa de Russell. El complement del conjunt univers és el conjunt buit, és a dir, aquell que està desproveït d'elements.
  • Eine Grundmenge (auch Universum) bezeichnet in der Mathematik eine Menge aus allen in einem bestimmten Zusammenhang betrachteten Objekten. Alle in diesem Zusammenhang betrachteten Mengen sind dann Teilmengen dieser Grundmenge. In einzelnen Fällen werden jedoch im Gegenzug nicht auch alle Teilmengen der Grundmenge betrachtet, so zum Beispiel im Fall einer σ-Algebra. In der Logik und in den Sprachwissenschaften entspricht der Begriff der Grundmenge dem Diskursuniversum; in der Prädikatenlogik der Definitionsmenge.
  • In mathematics, and particularly in set theory, category theory, type theory, and the foundations of mathematics, a universe is a collection that contains all the entities one wishes to consider in a given situation. It is related to the concept of a domain of discourse in philosophy. In type theory, a universe is a type whose elements are types.
foaf:depiction
  • External Image
foaf:isPrimaryTopicOf
thumbnail
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git51 as of Sep 16 2020


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Dec 29 2020, on Linux (x86_64-centos_6-linux-glibc2.12), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software