Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 3
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)
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)
Pregledni znanstveni članek
Oznake: gene therapy;rare genetic diseases;Slovenia;CAR-T cells;cancer;immune gene therapy;
Gene therapy has transitioned from a long-awaited promise to a clinical reality, offering transformative treatments for rare congenital diseases and certain cancers, which have a significant impact on patients’ lives. Current approaches focus on gene replacement therapy, either in vivo or ex vivo, m ...
Leto: 2025 Vir: Kemijski inštitut (KI)
Št. zadetkov: 3
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: