Redakcija: 20:41, 5. marec 2012 uredi AvocatoBot (pogovor \| prispevki) Boti 4.777 urejanj m r2.7.1) (robot Dodajanje: ro:Teoria mulțimilor ← Starejše urejanje		Redakcija: 19:59, 14. marec 2012 uredi razveljavi XJaM (pogovor \| prispevki) Birokrati, Administratorji 123.627 urejanj m dp/argument ktgr Novejše urejanje →
Vrstica 1: '''Teoríja mnóžic''' je osnovna [[matematična panoga]], ki definira in preučuje ~~lastnosti~~značilnosti [[množica\|množic]] in na kateri je zgrajena večina sodobne [[matematika\|matematike]]. Številne matematične [[disciplina\|discipline]] kot so [[algebra]], [[matematična analiza\|analiza]], [[teorija mere]], [[stohastika]] ali [[topologija]], so zgrajene na teoriji množic. Vrh tega je teorija množic bistveno povezana tudi s [[predikatna logika\|predikatno logiko]]. == Zgodovina == Vrstica 70: Podlaga za [[računalništvo]] ne leži v sami [[ZFC\|teoriji množic ZFC]], saj je ta tako zelo nekonstruktivna, da jo je komaj moč zajeti v pojmu [[algoritem\|algoritma]]. Zato so od 1970. let razvili konstruktivistično računanje, ki vsebuje pojme klasifikacije [[podatkovni tip\|podatkovnih tipov]], itd. Uveljavilo se je prepričanje, da so te teorije po univerzalnosti in obsegu uporabe enako primerne kot teorija množic. [[Kategorija:Teorija množic\|* ]] [[am:ሥነ ስብስብ]]

Teorija množic: Razlika med redakcijama