Information | |
---|---|
has gloss | (noun) the branch of pure mathematics that deals with the nature and relations of sets set theory |
has gloss | eng: :For the musical concepts, see Set theory (music). Set theory is the branch of mathematics that studies sets, which are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics. |
has gloss | eng: Set theory is the study of sets in mathematics. Sets are collections of objects. |
lexicalization | eng: Axiomatic set theories |
lexicalization | eng: Axiomatic Set Theory |
lexicalization | eng: Set Theory |
subclass of | (noun) the branches of mathematics that study and develop the principles of mathematics for their own sake rather than for their immediate usefulness pure mathematics |
Meaning | |
---|---|
Arabic | |
has gloss | ara: نظرية المجموعات هي النظرية التي تصف المجموعات الرياضية المؤلفة من كائنات رياضية مجردة والعمليات المطبقة عليها، وتشكل إحدى أهم ركائز الرياضيات الحديثة. |
lexicalization | ara: نظرية المجموعات |
Aragonese | |
has gloss | arg: A tioría de conchuntos ye una dibisión d'as Matematicas que estudea os conchuntos. O primer estudeo formal sobre o tema fue reyalizato por o matematico alemán Georg Cantor, Gottlob Frege e Julius Wilhelm Richard Dedekind en o sieglo XIX e dimpués reformulata por Zermelo. |
lexicalization | arg: Teoría de conchuntos |
lexicalization | arg: Tioría de conchuntos |
Azerbaijani | |
has gloss | aze: Çoxluq nəzəriyyəsi - riyaziyyatın çoxluqların ümumi xassələrini öyrənən bölməsidir. Bir çox riyazi fənnlər, o cümlədən cəbr, analiz, ölçü nəzəriyyəsi, stoxastik və topologiya çoxluq nəzəriyyəsinə əsaslanırlar.Əsası alman riyaziyyatçısı Qeorq Kantor tərəfindən qoyulmuşdur. |
lexicalization | aze: Çoxluq nəzəriyyəsi |
lexicalization | aze: Çoxluqlar nəzəriyyəsi |
Belarusian | |
has gloss | bel: Тэо́рыя мно́стваў — матэматычная тэорыя, якая даследуе мноства, аперацыі і адноснасці над імі. Даследаванне здзяйсняецца ў межах нейкай алгебры мностваў, якая з'яўляецца матэматычнай мадэллю аксіяматычнай тэорыі мностваў, і можа мець змястоўную ці фармальную накіраванасць. |
lexicalization | bel: Тэорыя мностваў |
Bengali | |
lexicalization | ben: সেট তত্ত্ব |
lexicalization | ben: সেটতত্ত্ব |
Bosnian | |
has gloss | bos: Teorija skupova je matematička teorija skupova, koji predstavljaju kolekcije apstraktnih objekata. Obuhvataju svakodnevnu notaciju skupa, kao što je ona uvedena u osnovnoj školi, kao kolekciju objekata, te pripadne koncepte elemenata i članstva takvih kolekcija. U većini modernih matematičkih formalizama teorija skupova predstavlja jezik opisa matematičkih objekata. Zajedno sa logikom i predikatnim računom predstavlja jedan od aksiomatskih temelja matematike, dozvoljavajući formalnu konstrukciju matematičkih objekata iz nedefiniranih termina "skupa" i "članstva skupa". Predstavlja punopravnu granu matematike, i aktivno je područje istraživačkog rada. |
lexicalization | bos: teorija skupova |
Breton | |
has gloss | bre: Teorienn an teskadoù a zo skour ar jedoniezh a ra war-dro teskadoù. Dastumadegoù a draoù eo ar re-se. Daoust a c'hell forzh peseurt tra bezañ dastummet en un teskad, teorienn an teskadoù a ra war-dro an traoù dedennusañ evit ar jedoniezh dreist-holl. |
lexicalization | bre: Teorienn an teskadoù |
Bulgarian | |
has gloss | bul: Теория на множествата е дял от математиката, изучаващ общите свойства на множествата. Теорията на множествата е в основата на много други дялове от математиката. |
lexicalization | bul: Теория на множествата |
Catalan | |
has gloss | cat: La teoria de conjunts és la branca de les matemàtiques que estudia els conjunts. El primer estudi formal sobre el tema va ser realitzat pel matemàtic alemany Georg Cantor el segle XIX. |
lexicalization | cat: Teoria de conjunts |
Czech | |
has gloss | ces: Teorie množin je matematická teorie, která se zabývá množinami. Z formálního pohledu jsou veškeré objekty moderní matematiky množiny – číslo je formálně množina, zobrazení je formálně množina, stejně jako všechny ostatní relace. |
lexicalization | ces: Teorie množin |
Chuvash | |
has gloss | chv: Нумайлăх теорийĕ — нумайлăхăн тĕп уйрăмлăхĕсене тĕпчекен математика пайĕ. Нумайлăх теорийĕ математикăн чылай пайне кĕрет, математикăна хăйне те самай тарăн ӳсĕм кӳнĕ. |
lexicalization | chv: нумайлăх теорийĕ |
Mandarin Chinese | |
lexicalization | cmn: jí hé lun |
lexicalization | cmn: 集合論 |
lexicalization | cmn: 集合论 |
Danish | |
has gloss | dan: Mængdelære er den matematiske teori om mængder, der repræsenterer mængder af abstrakte objekter. Mængdelæren er sammen med logik grundstenen i al moderne matematik. Mængdelæren gør kun brug af en slags elementer, mængder, og en relation, tilhørsrelationen. |
lexicalization | dan: Mængdelære |
lexicalization | dan: mængdelære |
German | |
has gloss | deu: Die Mengenlehre ist ein grundlegendes Teilgebiet der Mathematik. Zahlreiche mathematische Disziplinen werden heute auf der Mengenlehre aufgebaut, darunter Algebra, Analysis, Maßtheorie, Stochastik und Topologie. |
lexicalization | deu: Mengenlehre |
lexicalization | deu: Mengentheorie |
Modern Greek (1453-) | |
has gloss | ell: Στα μαθηματικά, Θεωρία συνόλων ή συνολοθεωρία είναι η θεωρία που μελετά τα σύνολα, που είναι συλλογές αντικειμένων. Αν και οποιοσδήποτε τύπος από αντικείμενα μπορεί να ορίσει σύνολο, η θεωρία συνόλων εφαρμόζεται συνήθως σε αντικείμενα σχετικά με τα μαθηματικά. |
lexicalization | ell: Θεωρία συνόλων |
Esperanto | |
has gloss | epo: Aroteorio (aŭ arteorio) estas branĉo de matematiko kaj komputiko kreita ĉefe de la germana matematikisto Georg Cantor fine de la 19-a jarcento. Ĝi komence estis disputata, sed nuntempe iĝis grava en la fundamentteorio por difini bazajn konceptojn kiel nombro. |
lexicalization | epo: Aroteorio |
lexicalization | epo: arteorio, aroteorio, teorio de la aroj |
Estonian | |
has gloss | est: Hulgateooria on matemaatika haru, mis tegeleb hulkade üldiste omaduste uurimisega. Hulgateooria alla paigutatakse ka järjestuste ning muude seoste uurimine ning mõningaid muid valdkondi. Matemaatika alused on hulgateooriaga tihedalt läbi põimunud. |
lexicalization | est: Hulgateooria |
Basque | |
has gloss | eus: Multzoen teoria edo multzo-teoria multzoak aztertzen dituen matematikaren adarra da. Gaiaren inguruko lehen ikerketa formala Georg Cantor matematikariak egin zuen XIX. mendean. |
lexicalization | eus: Multzoen teoria |
Faroese | |
has gloss | fao: Mongdarlæra er tann støddfrøðiliga ástøðin um mongdir, sum umboðar mongdir av abstraktum lutum. Hon hevur eina miðstøða í nútíðarstøddfrøði ástøði, av tí at hon gevur tað grundleggjandi mál, sum øll støddfrøði kann orðberast í. |
lexicalization | fao: Mongdarlæra |
Persian | |
has gloss | fas: نظریهٔ مجموعهها شالودهٔ بنیادین و سنگ اساسی بنای ریاضیات جدید است. تعریفهای دقیق جمیع مفاهیم ریاضی، مبتنی بر نظریه مجموعههاست. گذشته از این روشهای استنتاج ریاضی، با استفاده از ترکیبی از استدلالهای منطقی و مجموعه- نظری تنظیم شدهاند. زبان نظریه مجموعهها، زبان مشترکی است که ریاضیدانان منطقی در سراسر دنیا با آن صحبت کرده و آن را درک میکنند. چنان که اگر کسی بخواهد پیشرفتی در ریاضیات عالی یا کاربردهای عملی آن داشته باشد، باید مفاهیم اساسی و نتایج نظریه مجموعهها و زبانی که در آن بیان شدهاند، آشنا شود. |
lexicalization | fas: نظریه مجموعهها |
Finnish | |
has gloss | fin: Joukko-oppi on joukkoja tutkiva matematiikan haara. Joukko-opin perustaja Georg Cantor määritteli joukon olevan toisistaan erotettavien objektien (olioiden) yhdistelmä. Intuitiivisesti tämä määritelmä toimii useimmiten edelleen, vaikka joukon formaali määritteleminen osoittautui myöhemmin monimutkaisemmaksi. Näitä objekteja kutsutaan joukon alkioiksi ja ne voivat olla ihmisen havaintoon tai ajatukseen perustuvia. Oleellista on tietää mistä tahansa objektista kuuluuko se tiettyyn joukkoon vai ei. |
lexicalization | fin: Joukko-oppi |
lexicalization | fin: joukkoteoria |
French | |
has gloss | fra: La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . |
lexicalization | fra: Theorie des ensembles |
lexicalization | fra: Théorie des ensembles |
Friulian | |
lexicalization | fur: teorie dai insiemis |
Serbo-Croatian | |
has gloss | hbs: Teorija skupova je grana matematike koja se bavi skupovima. Skup se uopšteno opisuje kao mnoštvo apstraktnih objekata. Sama teorija se nalazi u osnovi svih grana matematike koje se bave brojevima: algebra, matematička analiza, verovatnoća pa i topologija. One je je uz logiku i predikatski račun jedna od aksiomatskih temelja matematike. |
lexicalization | hbs: teorija skupova |
Hebrew | |
has gloss | heb: תורת הקבוצות היא ענף במתמטיקה שהתפתח אינטואיטיבית עם השנים על ידי מתמטיקאים חובבנים ומקצועיים כאחד, בשיטה שמאוחר יותר התגלתה כלא אמינה. הבעיה התחילה כאשר נמצאו פרדוקסים וסתירות בשלבים בסיסיים של המתמטיקה (לדוגמה הפרדוקס של ראסל). סתירות אלו נובעות מחוסר עקביות, מוסכמות ושפה אחידה, ולכן החליטו לפתח ולהגדיר את תורת הקבוצות מחדש. |
lexicalization | heb: תורת הקבוצות |
Hindi | |
has gloss | hin: समुच्चय सिद्धान्त (set theory), गणित की एक शाखा है जो समुच्चयों का अध्ययन करती है। वस्तुओं के संग्रह (collection) को समुच्चय कहते हैं। यद्यपि समुच्चय के अन्तर्गत किसी भी प्रकार की वस्तुओं का संग्रह सम्भव है, किन्तु समुच्चय सिद्धान्त मुख्यतः गणित से सम्बन्धित समुच्चयों का ही अध्ययन करता है। स्थूल रूप से अंग्रेजी समुच्चय के पर्याय सेट (set), ऐग्रिगेट (aggregate), क्लास (class), डोमेन (domain) तथा टोटैलिटी (totality) हैं। समुच्चय में अवयवों का विभिन्न होना आवश्यक है। |
lexicalization | hin: समुच्चय सिद्धान्त |
lexicalization | hin: गण |
Croatian | |
has gloss | hrv: Teorija skupova je matematička teorija skupova, koji predstavljaju kolekcije apstraktnih objekata. Obuhvaća svakodnevnu notaciju skupa, kao što je ona uvedena u osnovnoj školi, kao kolekciju objekata, te pripadne koncepte elemenata i članstva takvih kolekcija. U većini modernih matematičkih formalizama teorija skupova predstavlja jezik opisa matematičkih objekata. Zajedno sa logikom i predikatnim računom predstavlja jedan od aksiomatskih temelja matematike, dozvoljavajući formalnu konstrukciju matematičkih objekata iz nedefiniranih termina "skupa" i "članstva skupa". Predstavlja punopravnu granu matematike, i aktivno je područje istraživačkog rada. |
lexicalization | hrv: teorija skupova |
Hungarian | |
has gloss | hun: A halmazelmélet a matematika egyik alapvető tudományága, mely a halmaz fogalmán keresztül a végtelen sok elemű matematikai összességekkel (számosságaritmetika), illetve a logika matematikai vizsgálatával (modellelmélet) foglalkozik. A halmazelmélet alapvető jelentőségét az mutatja, hogy a matematikai és logikai fogalmak döntő többsége kezelhető a halmaz fogalma segítségével. Sokáig uralkodó volt az a nézet, hogy a teljes matematika megalapozható a halmazelmélet segítségével (lásd még: matematikafilozófia). |
lexicalization | hun: halmazelmélet |
Ido | |
has gloss | ido: L'ensemblo-teorio es fako di matematiko do analizala geometrio et dil informala kreis precipua per Georg Cantor fine 19ma yar-cento. |
lexicalization | ido: Ensemblo-teorio |
lexicalization | ido: ensemblo-teorio |
Indonesian | |
has gloss | ind: Teori Himpunan adalah teori mengenai kumpulan objek-objek abstrak. Teori himpunan biasanya dipelajari sebagai salah satu bentuk: * Teori himpunan naif, dan * Teori himpunan aksiomatik, yang mendasarkan teori himpunan pada istilah-istilah dan relasi yang tak terdefinisikan, serta aksioma-aksioma yang nantinya akan membangun keseluruhan teori himpunan. Himpunan Himpunan adalah kumpulan dari objek-objek tertentu yang tercakup dalam satu kesatuan dengan keterangannya yang jelas. Untuk menyatakan suatu himpunan, digunakan huruf kapital seperti A, B, C dsb. Sedangkan untuk menyatakan anggota-anggotanya digunakan huruf kecil seperti a, b, c, dsb. |
lexicalization | ind: Teori himpunan |
Show unreliable ▼ | |
lexicalization | ind: teori pasti |
Icelandic | |
has gloss | isl: Mengjafræði er sú grein stærðfræðinnar sem fjallar um mengi, fjölskyldur og söfn. Er grundvallargrein nútímastærðfræði. Upphafsmaður mengjafræðinnar var Georg Cantor. |
lexicalization | isl: Mengjafræði |
lexicalization | isl: mengjafræði |
Italian | |
has gloss | ita: La teoria degli insiemi svolge un ruolo importante per i fondamenti della matematica e attualmente si colloca nell'ambito della logica matematica. Prima della metà del sec. XIX la nozione di insieme veniva considerata solo come qualcosa di intuitivo e generico. Essa è stata inizialmente sviluppata nella seconda metà del XIX secolo dal matematico tedesco Georg Cantor, è stata al centro dei dibattiti sui fondamenti dal 1890 al 1930 ed ha ricevuto le prime sistemazioni assiomatiche per merito di Ernst Zermelo, Adolf Fraenkel, Paul Bernays, Kurt Gödel, John von Neumann e Thoralf Skolem. In questo periodo si sono assestati due sistemi di assiomi chiamati rispettivamente sistema assiomatico di Zermelo-Fraenkel e sistema assiomatico di Von Neumann-Bernays-Gödel. |
lexicalization | ita: Teoria degli insiemi |
lexicalization | ita: teoria degli insiemi |
lexicalization | ita: insiemistica |
Japanese | |
has gloss | jpn: 集合論(しゅうごうろん、、)は、集合とよばれる数学的対象をあつかう数学理論である。 |
lexicalization | jpn: 集合論 |
Georgian | |
has gloss | kat: სიმრავლეთა თეორია - მათემატიკის დარგი სიმრავლეების შესახებ. სიმრევლეთა თეორიას ეფუძნება რიგი მათემატიკირი დისციპლინებისა, მათ შორის: ალგებრა, ანალიზი, ტოპოლოგია, ალბათობის თეორია. |
lexicalization | kat: სიმრავლეთა თეორია |
Korean | |
has gloss | kor: 집합론(集合論,set theory)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이다. 집합론은 술어논리학과 함께 대부분의 수학기초론 체계의 근본으로, 현대 수학을 논리적으로 지탱하는 밑바탕이 된다. |
lexicalization | kor: 집합론 |
lexicalization | kor: 집합론을 |
Latin | |
lexicalization | lat: ratio conjunctorum |
Latvian | |
has gloss | lav: Kopu teorija ir matemātikas nozare, kas pēta kopas un to īpašības. |
lexicalization | lav: Kopu teorija |
Lithuanian | |
has gloss | lit: Aibiu teuorėjė īr matematėkas šaka, tėrontė aibės, katruos īr uobjektu rėnkėnē. |
lexicalization | lit: Aibiu teuorėjė |
lexicalization | lit: Aibių teorija |
Lombard | |
has gloss | lmo: La Teuría di cungjuunt a l’è una branca da la matemàtica e da linfurmàtega creada principalameent pal matemàtich Tudeesch Georg Cantor a la fí dal . I cuncett da basa da la Teuría di cungjuunt i è i cungjuunt e i söö elemeent. Un cungjuunt al è vidüü cuma una collezziú dugett, cjamaa i elemeent (u mémbar) dun cungjuunt. In matemàtica, cada ugett matemàtich (cumprees un cungjuunt) al pöö vess elemeent dun cungjuunt. |
lexicalization | lmo: Teuría di cungjuunt |
Literary Chinese | |
has gloss | lzh: 集論者,當世算術之本也。凡數學之物,殆必為集。若夫光大其者,乃德意志疇人康托爾(Georg Cantor)耳。 |
lexicalization | lzh: 集論 |
Marathi | |
lexicalization | mar: संचप्रवाद |
Macedonian | |
has gloss | mkd: Теорија на множествата е математичка теорија за множества, која преставува збир апстрактни објекти. Тука спаѓаат секодневните коцепти, воведени во основно училиште, за збирот објекти, елементите на, и припадноста во, вакви збирови. Во современите математички формализми, теоријата на множествата дава јазик за опишување на математичките објекти. Заедно со логиката и предикатната анализа) една од аскиоматските основи на математиката, давајќи можноста за формална конструкција на математички објекти од недефинирани термини „множество“ и „припадност во множество“. Ова само по себе е гранка на математиката и е активно поле на математички истражувања. |
lexicalization | mkd: теорија на множествата |
lexicalization | mkd: Теорија на множества |
Malay (macrolanguage) | |
has gloss | msa: Teori set ialah satu cabang ilmu matematik yang mengkaji set, iaitu koleksi objek. Teori set dianggap sebagai satu daripada topik-topik asas dalam matematik. |
lexicalization | msa: Teori set |
Min Nan Chinese | |
has gloss | nan: Chi̍p-ha̍p-lūn (set theory) sī leh gián-kiù chi̍p-ha̍p ê sò͘-ha̍k lí-lūn, ah chi̍p-ha̍p sī kā chi̍t-koá thiu-siōng ê mi̍h-kiāⁿ (object) khǹg taù-tīn ê 1 ê khài-liām. Chi̍p-ha̍p-lūn pau-hâm sió-ha̍k tō ū siāu-kài ê chit-koá koan-liām, chhiūⁿ chi̍t-koá mi̍h-kiāⁿ chiâⁿ-chò 1 ê chi̍p-ha̍p, chi̍p-ha̍p ê goân-sò͘, chi̍p-ha̍p ê sêng-oân (membership). Chi̍p-ha̍p-lūn, lô-chek, ham it-kai lô-chek (First-order logic) sī hiān-tāi sò͘-ha̍k ê ki-chân (foundations of mathematics), sò͘-ha̍k ê mi̍h-kiāⁿ ē-tit ēng bô tēng-gī ê "chi̍p-ha̍p" ham "chi̍p-ha̍p sêng-oân" lâi khí-chō. |
lexicalization | nan: Chi̍p-ha̍p-lūn |
Nepal Bhasa | |
has gloss | new: सेट सिद्धान्त गणितया छगू शाखा ख गुकिलि वस्तुतेगु संग्रहया अध्ययन जुइ। न्ह्यागु नं वस्तुयात नं छगू एक सेटया कथं कायेछिंसां सेट सिद्धांत प्रायः गणितीय प्रासङ्गीता दूगु वस्तुइ लागू जुइ। |
lexicalization | new: सेट सिद्धान्त |
Dutch | |
has gloss | nld: De verzamelingenleer vormt sinds het begin van de twintigste eeuw een van de grondslagen van de wiskunde. De verzamelingenleer betreft de bestudering en formalisering van het begrip verzameling, en ondersteunt daarmee de axiomatische onderbouwing van andere deelgebieden van de wiskunde. |
lexicalization | nld: verzamelingenleer |
Norwegian Nynorsk | |
has gloss | nno: Mengdelære er ei grein av matematikken som studerer mengder som er samlingar av lekamar. Sjølv om alle lekamar kan samlast i ei mengd, omhandlar mengdelære som regel lekamar som vert nytta i matematikken. |
lexicalization | nno: mengdelære |
Norwegian Bokmål | |
lexicalization | nob: mengdelære |
Norwegian | |
has gloss | nor: Mengdelære er den matematiske teorien om mengder, som representerer samlinger av abstrakte objekter. Den omfatter hverdagslige begreper som barn arbeider med i barneskolen, om samlinger av objekter, og elementene i og medlemskap i, slike samlinger. I det meste av moderne matematisk formalisme, er mengdelære språket som brukes for å beskrive matematiske objekter. Det er (sammen med logikk og predikatkalkulus et av de aksiomatiske grunnlag for matematikk, som gjør at matematiske objekter kan konstrueres formelt fra de udefinerte termene "mengde" og "element i mengde". Den er selv en gren av matematikken og et aktivt felt for matematisk forskning. |
lexicalization | nor: Mengdelære |
Novial | |
has gloss | nov: Ensemble-teorie es li teorie de ensembles in matematike. |
lexicalization | nov: Ensemble-teorie |
Occitan (post 1500) | |
lexicalization | oci: Teoria deis ensembles |
Piemontese | |
has gloss | pms: La teorìa djansem a lé cola branca dla lògica matemàtica anventà da Georg Cantor cha studia la nossion dansem e d'apartenensa coma fondament për tuta la matemàtica. |
lexicalization | pms: teorìa dj'ansem |
Polish | |
has gloss | pol: Teoria mnogości (również: teoria zbiorów) – dział matematyki a zarazem logiki matematycznej zapoczątkowany przez niemieckiego matematyka Georga Cantora pod koniec XIX wieku. Początkowo wzbudzała wiele kontrowersji, jednak wraz z postępem matematyki zaczęła ona pełnić rolę fundamentu, na którym opiera się większość matematycznych rozważań. |
lexicalization | pol: Teoria mnogości |
Portuguese | |
has gloss | por: Teoria dos conjuntos é a teoria matemática que trata das propriedades dos conjuntos. Ela tem sua origem nos trabalhos do matemático russo Georg Cantor (1845–1918), e se baseia na ideia de definir conjunto como uma noção primitiva. Também chamada de teoria ingênua ou intuitiva devido à descoberta de várias antinomias (ou paradoxos) relacionadas à definição de conjunto. Estas antinomias na teoria dos conjuntos conduziram a matemática a axiomatizar as teorias matemáticas, com influências profundas sobre a lógica e os fundamentos da matemática. |
lexicalization | por: Teoria dos Conjuntos |
lexicalization | por: teoria de conjuntos |
Russian | |
has gloss | rus: Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств. Теория множеств лежит в основе большинства математических дисциплин; она оказала глубокое влияние на понимание предмета самой математики. |
lexicalization | rus: Теория множеств |
Slovak | |
has gloss | slk: Teória množín je časť matematiky, ktorá skúma všeobecné vlastnosti množín, najmä nekonečných. Teória množín skúma vzájomne jednoznačnú zhodu množín, ich usporiadanie, mohutnosť množiny, operácie, ako zjednotenie a prienik množín a iné. |
lexicalization | slk: Teória množín |
Slovenian | |
has gloss | slv: Teoríja mnóžic je osnovna matematična panoga, ki definira in preučuje lastnosti množic in na kateri je zgrajena večina sodobne matematike. Številne matematične discipline kot so algebra, analiza, teorija mere, stohastika ali topologija, so zgrajene na teoriji množic. Vrh tega je teorija množic bistveno povezana tudi s predikatno logiko. |
lexicalization | slv: Teorija množic |
Castilian | |
has gloss | spa: La Teoría de Conjuntos es una división de las matemáticas que estudia los conjuntos. El primer estudio formal sobre el tema fue realizado por el matemático alemán Georg Cantor, Gottlob Frege y Julius Wilhelm Richard Dedekind en el Siglo XIX y más tarde reformulada por Zermelo. |
lexicalization | spa: Teoria de Conjuntos |
lexicalization | spa: Teoría de conjuntos |
Serbian | |
has gloss | srp: Теорија скупова је грана математике која се бави скуповима. Скуп се уопштено описује као мноштво апстрактних објеката. Сама теорија се налази у основи свих грана математике које се баве бројевима: алгебра, математичка анализа, вероватноћа па и топологија. Оне је је уз логику и предикатски рачун једна од аксиоматских темеља математике. |
lexicalization | srp: теорија скупова |
Sundanese | |
lexicalization | sun: Set theory |
Swedish | |
has gloss | swe: Mängdteori har en allmän och en specifik betydelse. |
lexicalization | swe: mängdteori |
lexicalization | swe: mängdlära |
Tamil | |
has gloss | tam: கணக் கோட்பாடு கணிதத்தின் அடித்தள கோட்பாடுகளில் ஒன்று. "கணிதத்தின் எல்லா பிரிவுகளும் கணக்கருத்தியலின் வரைச்சட்டத்திற்குள் கொண்டுவரப்படலாம்." கணக் கோட்பாடு கணங்களை முதன்மையாக ஆய்கிறது. |
lexicalization | tam: கணக் கோட்பாடு |
Thai | |
has gloss | tha: ทฤษฎีเซต คือทฤษฎีทางคณิตศาสตร์ที่เกี่ยวกับเรื่องเซต ซึ่งใช้นำเสนอการรวบรวมวัตถุนามธรรม ทฤษฎีเซตเป็นแนวความคิดของการรวบรวมวัตถุในชีวิตประจำวัน และใช้สอนในโรงเรียนประถมศึกษาซึ่งบ่อยครั้งใช้แผนภาพเวนน์เป็นสื่อช่วยสอน ทฤษฎีเซตใช้ภาษาในการอธิบายวัตถุทางคณิตศาสตร์เป็นธรรมเนียมการสอนคณิตศาสตร์สมัยใหม่ ทฤษฎีเซตเป็นหนึ่งในรากฐานทางคณิตศาสตร์ที่ยอมรับกันโดยทั่วไป เหมือนเช่นตรรกศาสตร์และแคลคูลัสภาคแสดง ซึ่งทำให้สามารถสร้างวัตถุทางคณิตศาสตร์ขึ้นมาใหม่โดยใช้ "เซต" และ "ความเป็นสมาชิกของเซต" เป็นตัวนิยาม ทฤษฎีเซตเองนั้นก็เป็นสาขาหนึ่งของคณิตศาสตร์ และยังคงเป็นสาขาที่สำคัญอยู่สำหรับการวิจัย |
lexicalization | tha: ทฤษฎีเซต |
Turkish | |
lexicalization | tur: Kümeler teorisi |
Ukrainian | |
has gloss | ukr: Тео́рія множи́н — розділ математики, в якому вивчаються загальні властивості множин. Теорія множин лежить в основі більшості математичних дисциплін; вона зробила глибокий вплив на розуміння предмету самої математики. |
lexicalization | ukr: Теорія множин |
Urdu | |
has gloss | urd: نظریہ طاقم شاخ ہے ریاضیات کی جس میں طاقم، جو کہ اشیاء کا مجموعہ ہوتے ہیں، کا مطالعہ کیا جاتا ہے۔ اگرچہ کسی بھی قسم کی اشیاء کو طاقم میں مجموعہ کیا جا سکتا ہے، نظریہ طاقم کا زیادہ تر استعمال ایسی اشیاء پر کیا جاتا ہے جو ریاضی سے متعلقہ ہوں۔ |
lexicalization | urd: نظریۂ طاقم |
Vietnamese | |
has gloss | vie: Lý thuyết tập hợp là ngành toán học nghiên cứu về tập hợp. Mặc dù bất kỳ đối tượng nào cũng có thể được đưa vào một tập hợp, lý thuyết tập hợp được dùng nhiều cho các đối tượng phù hợp với toán học. |
lexicalization | vie: lý thuyết tập hợp |
Volapük | |
has gloss | vol: Konletateor binon teorod matematik konletas, kels magons grupis yegas nedabinotik. Keninükon suemodis balugik aldelik penüdugöl in stabajul: grups yegas, binets grupas at ed i dutöf lü grups at. Ma fomims matematik atimik mödikum, konletateor labükon püki, in kel yegs matematik pabepenons. Binon (kobü tikav e predikatakalkulav) bal stabas xiomik matemata , dälölo yeges matematik ad pabumön kuratiko de binets nenmiedetik: „konlet“ e „dutöf lü konlet“. Binon ito donajäfüd matemata ed i ziläk jenotagik vestiga matematik. |
lexicalization | vol: konletateor |
Võro | |
has gloss | vro: Hulgateooria om matõmaatiga haro, miä uur hulkõ. |
lexicalization | vro: Hulgateooria |
Waray (Philippines) | |
has gloss | war: An Teyorya set amo an sanga han matematka nga nagaaram hin mga set nga amo ini an mga kolesyon han mga butang. |
lexicalization | war: Teyorya set |
Yiddish | |
has gloss | yid: סכומען־טעאָריע איז די טעאריע פון אָפּטיילן אין מאטעמאטיק איינגעזאמלטע צאלן פון פארשיידענע אביעקטן אין באזונדערע סכומען. |
lexicalization | yid: סכומען טעאריע |
Yue Chinese | |
has gloss | yue: 集合論(英文set theory),又叫集論,係一門研究集合嘅數學理論。 |
lexicalization | yue: 集合論 |
lexicalization | yue: 集合论 |
Chinese | |
has gloss | zho: 集合論是一門研究集合(由一堆抽象物件構成的整體)的數學理論,包含集合、元素和成員關係等數學中最基本的概念。在大多數現代數學的公式化中,集合論提供了要如何描述數學物件的語言。集合論和邏輯與一階邏輯共同構成了數學的公理化基礎,以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 |
lexicalization | zho: 集合论 |
Media | |
---|---|
media:img | Absolute complement (set teory, Venn diagram).PNG |
media:img | Diagonal argument.svg |
media:img | Matematiker georg cantor.jpg |
media:img | Set subsetAofB.svg |
media:img | Venn A subset B.png |
media:img | Venn A subset B.svg |
media:img | Venn0001.svg |
media:img | Venn0010.svg |
media:img | Venn0100.svg |
media:img | Venn0110.svg |
media:img | Venn0111.svg |
Lexvo © 2008-2024 Gerard de Melo. Contact Legal Information / Imprint