Keywords: teorija množic, računanje z množicamiFull text (outside link)
Keywords: realna števila, Peanovi aksiomi, rekurzivno zaporedje, teorija množic, ZFC aksiomi, cela števila, racionalna številaFull text (outside link)
Keywords: matematika, teorija množic, aksiom izbire, konstruktibilni univerzum, ordinalna števila, Gödelove operacije, opredeljivostFull text (file, 458,06 KB)
Keywords: funkcionalna regija, vrednotenje, teorija mehkih množic, pristop mehke logike, metoda TTWA, metoda Intramax, delovna mobilnost, SlovenijaFull text (file, 17,23 MB) This document has more files! More...
Keywords: teorija množic, teorija tipov, tip, izomorfizem, identični tip, izjave, aksiom univalentnosti, grupe, množice, konstruktivna logika, relevantnost dokazov, princip strukturne identiteteFull text (file, 845,74 KB)