Ključne besede: teorija množic, računanje z množicamiCelotno besedilo (povezava drugam)
Ključne besede: realna števila, Peanovi aksiomi, rekurzivno zaporedje, teorija množic, ZFC aksiomi, cela števila, racionalna številaCelotno besedilo (povezava drugam)
Ključne besede: matematika, teorija množic, aksiom izbire, konstruktibilni univerzum, ordinalna števila, Gödelove operacije, opredeljivostCelotno besedilo (datoteka, 458,06 KB)
Ključne besede: funkcionalna regija, vrednotenje, teorija mehkih množic, pristop mehke logike, metoda TTWA, metoda Intramax, delovna mobilnost, SlovenijaCelotno besedilo (datoteka, 17,23 MB) Gradivo ima več datotek! Več...
Ključne besede: teorija množic, teorija tipov, tip, izomorfizem, identični tip, izjave, aksiom univalentnosti, grupe, množice, konstruktivna logika, relevantnost dokazov, princip strukturne identiteteCelotno besedilo (datoteka, 845,74 KB)