Osztály (halmazelmélet) - az
Osztály (halmazelmélet)
Osztály - a kifejezés a matematikában elsősorban szinonimájaként „sok” kifejezés utal egy tetszőleges sor tárgyak minden adott funkció vagy tünet (például algebra - ekvivalencia osztályok). Néha osztályok inkább hívja a több elem amelyek közül több (például, rekurzív elmélet - felsorolt osztályok). Egyes esetekben a hatása alatt axiomatikus halmazelmélet, az „osztály” hangsúlyozni, hogy ez valójában egy sor osztály, és nem egy sor a szűkebb értelemben vett (például algebra - primitív osztálya univerzális algebrák, más néven osztók). Halmazelméleti műveletek definiált osztályok ugyanúgy, mint a készletek.
Az axiomatikus halmazelmélet
Class axiomatikus halmazelmélet (pontosabban axiomatikus rendszere Gödel - Bernays) - a forrás típusát tárgyakat venni ezekben a rendszerekben, a különbség a készletek és az osztályok, hogy az elemek az osztályok és készletek, tárgyalt elmélet is csak több, de nem osztályok.
Az ötletét az úgynevezett olvasható osztály tartozik a halmazelmélet J. Neumann (J. Neumann) és ennek alapján a megfigyelés, hogy az ismert ellentmondások Cantor halmazelmélet felmerülő nem képződése miatt nagyon nagy feltételezések készletek, és mivel az a tény, hogy az ilyen készletek megengedettek olyan elemek, egyéb készletek. Eltekintve ez a korlátozás, hogy ilyen axiomatikus rendszerek lehetővé tette a szokásos halmazelméleti műveletek osztályokkal, ami osztályok, nem készletek; továbbá, hogy minden elfogadható módon állítmány halmazán megadott, van egy osztály, amely pontosan a készletek, amelyek megfelelnek az állítmány vizsgálják.
Bebizonyosodott, hogy az összhang az egyes rendszerek Gödel - Bernays és Zermelo - Fraenkel lehet más összhang.
Nézze meg, mit „Class (halmazelméleti)” más szótárak:
Halmazelmélet - elmélet, egy raj tanulmány készletek (osztály) elemeinek önkényesek. Létre elsősorban működik Cantor (és R. Dedekind és Weierstrass) T m. A végén a 19. században. lett az alapja az építési meglévő akkori matematikai. ... ... Filozófiai Enciklopédia
Halmazelmélet - ága a matematika, amely foglalkozik az általános tulajdonságait készletek. Egy sor az úgynevezett semmilyen összefüggést az egyik a bizonyos különleges és különböző egymás között a tárgyak a felfogás, vagy gondolat. T. m. Tanulmányait az általános tulajdonságait a különböző műveletek ... ... Encyclopedic szótára Pszichológiai és Pedagógiai
Leíró halmazelmélet - szakasz halmazelmélet tanulmányozza a belső szerkezete határozza függvényében azok műveleteket, amelyekre ezeket a készleteket felépített szett viszonylag egyszerű természete (pl zárt vagy nyitott részhalmaza ... ... Matematikai Lexikon.
Axiomatikus halmazelmélet - az irányt, matematikai. logika, tanulmányozza a darabjai a tartalom matematikai halmazelmélet módszerekkel. logika. Általában erre a célra töredékei halmazelmélet formájában mutatják be a formális axiomatikus. elmélet. Szűkebb értelemben ... ... Encyclopaedia of Mathematics
Projection (halmazelmélet) - Ebben a kifejezést, vannak más célra, hogy a vetítés .. Vetítés halmazelmélet hívják az egyik majdnem független függvények és műveletek, azaz működés halmazelmélet jelöljük. kiválasztó második alkotóelem ... ... Wikipedia
Rekurzív halmazelmélet - szakasz az elmélet rekurzív függvények, a rum tekinteni és besorolt részhalmaza a természetes számokat a algoritmikus. szempontból, és feltárja a szerkezet eredő ezt az osztályozást. Bármely halmaz, egy raj ... ... Encyclopaedia of Mathematics
Modell elmélet - Model elméleti fejezetben a matematikai logika, amely évek óta tanulmányozza a kapcsolatát a formális nyelvek és értelmezések vagy modellek. Neve modell-elmélet először javasolta Tarski 1954. A fő fejlesztési elméletének ... Wikipedia
Osztály (matematika) - Ez a kifejezés, vannak más célra, lásd: Class .. Az osztály a használt kifejezés a matematikában elsősorban szinonimájaként „sok” kifejezés utal egy tetszőleges sor tárgyak egy bizonyos tulajdonság, vagy hogyan ... ... Wikipedia
Osztály - 1) használt kifejezés a matematikában elsősorban szinonimájaként a kifejezést halmaza készlet tetszőleges objektumok hogyan adott tulajdonság vagy tulajdonság (például az algebra egyenértékűség osztályok tekintetében ... ... Encyclopaedia of Mathematics.