Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 2
Primerjava teorije množic in teorije tipov kot temeljev matematike
Matej Jazbec, Alex Simpson
Diplomsko delo
Oznake: matematika;teorija množic;teorija tipov;tipi;izomorfizmi;identični tipi;izjave;aksiom univalentnosti;grupe;množice;konstruktivna logika;relevantnost dokazov;princip strukturne identitete;
Besedilo obravnava razlike v zasnovi teorije množic in teorije tipov kot temeljev matematike. Za vodilo nam služi primer bolj ali manj upravičenega enačenja izomorfnih matematičnih struktur, specifično grup. Osvežimo potrebno znanje teorije množic in se dlje časa posvečamo predstavitvi Martin-Löfove ...
Leto: 2022 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Varčevanje za pokojnino v svetu in v Sloveniji
Matej Runjak, Boštjan Jazbec
Diplomsko delo
Oznake: pokojnine;pokojninsko zavarovanje;pokojninski skladi;investicijska dejavnost;varčevanje;modeli;predpisi;demografske strukture;davki;kontrola;mednarodne primerjave;
Varčevanje za pokojnino v svetu in v Sloveniji
Leto: 2002 Vir: Ekonomska fakulteta (UL EF)
Št. zadetkov: 2
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: