A tervezési koncepció a készlet számítástechnika
Home | Rólunk | visszacsatolás
Díszlet: a antinómiáját Russell, létrehozott, tolmácsolás, műveletek, kapcsolatok, n-páros kapcsolatok funkciót. Boole-függvények, logikai algebra, állítmány.
Cantor - „sok - egy nevet a készlet minden tárgyat az ingatlan” vagy „sokkal több, úgy, mint egy.”
1903-ban, angol matematikus Bertrand Russell javasolt antinómia a nyelven belül a klasszikus ( „naiv”) halmazelmélet Georg Cantor:
Legyen K - a készlet minden készletek, amelyek nem tartalmaznak magukat azok podmnozhestva.Otvet a kérdést: „vajon a K magát, mint egy része?” Nem adható elvileg. Ha a válasz „igen”, akkor definíció szerint egy ilyen készlet nem lehet eleme K. Ha „nem”, akkor ismét definíció szerint azt, hogy tagja legyen önmagában.
Ez antinómiában (ismertebb nevén „Russell-paradoxon”) megrázta a matematika alapjait és formális logika, amely arra kényszerítette a vezető matematikusok az idő, hogy elkezdi keresni az engedélye módszereket.
Később, az osztrák filozófus Kurt Godel megmutatta, hogy „egy kellően összetett formális rendszerek mindig lesz egy olyan képlet, amit nem lehet levezetni (mutat) keretében a formális rendszer” -első Gödel nem-teljességi tétele.
Ez a tétel lehetővé tette, hogy korlátozza a keresést formális rendszereket, így a matematikus és filozófus megértése, hogy a komplex rendszerek mindig megjelenik antinómia, mint az egyik által javasolt Bertrand Russell.
A legjobb magyarázat a természet a készlet továbbra is tulajdonosa az alapító halmazelmélet Georg Cantor:
Egy sor értünk minden vegyület egészét egészen biztos, hogy megkülönböztessék tárgyak egy, ami létezik a
elménket és gondolatok, amelyek úgynevezett elemei A.
A tervezési koncepció a készlet számítástechnika
Set - egy sor (a gyűjtemény, csoport) elemek, amelyeknek egy közös tulajdonság (a szabadban, szemantikáját).
Készletek számítástechnika pontosítást igényel építő.
1. A generátor mechanizmus minden eleme a készlet.
2. Minden tag a készlet különböznie kell a többi elem.
3. értelmezése készletek hozzárendelési egy bizonyos tulajdonság (tulajdonságkészlet) pontosan egy sor elemet, melyek kombinálva vannak több.
Két módja aggregát:
a) véges halmazok - felsorolt tételek;
b) végtelen halmazok - generáló algoritmust vagy szabályt.
Jellemzően, a leírás különálló elemek alkalmazott kódolási eljárás olyan, hogy minden egyes kód-elem egyedi.
A modern programozási nyelvek (különösen az objektum-orientált és funkcionális nyelvek) kódolási mechanizmust tárgyakat alkotó készletek és műveletek tárgyak határozza meg a lényegét nyelvet.
Halmaz műveletek és tulajdonságaik
minden elem, melyek egy „univerzális” beállítása vagy univerzum U megadásának vagy 1.
Boole algebra határozzák meg e műveletek összessége. amely lehetővé teszi a megfelelő átváltási képletek amelyek leírják set történik az eredeti készletek.
Azt, hogy egy nagyon fontos pont az értelmezés (tulajdonságok) meghatározza megépíteni a forrás (bázis).
A beállított szerkesztett sorozat alap és az alábbi képlet szerint, általában nem örökli a tulajdonságait az eredeti alap készlet!
* Egy üres halmaz - a készlet nem tartalmaz elemet.
* Univerzális készlet - készlet tartalmazza az összes lehetséges eszközök.
* A rendezett halmaz - egy sor, amelyen a megadott sorrendben kapcsolatban.
Boole algebra nem üres halmaz M két bináris műveletek
∩ (analóg kötőszók), ∪ (analóg diszjunkciót), egyértékű művelet (analóg tagadás)
és két kiválasztott elem: 0 (üres halmaz, vagy hazugság) 1 (univerzum vagy igaz) úgy, hogy minden A, B és C a több valódi axiómák: