|
82. Primerjava teorije množic in teorije tipov kot temeljev matematikeMatej Jazbec, 2022, undergraduate thesis Keywords: teorija množic, teorija tipov, tip, izomorfizem, identični tip, izjave, aksiom univalentnosti, grupe, množice, konstruktivna logika, relevantnost dokazov, princip strukturne identitete Full text (file, 845,74 KB) |
83. Equality between programs with effectsNiels Frits Willem Voorneveld, 2020, doctoral dissertation Keywords: Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete lattices Full text (file, 2,42 MB) |
84. Toposni modeli principov teorije množicSeverin Mejak, 2019, master's thesis Keywords: topos, sheaf, site, axiom of choice, dependent choice, countable choice, independence Full text (file, 776,82 KB) |
85. Analiza kompetenc vodij oddelkov v podjetju RosenbauerAlex Kodba, 2017, undergraduate thesis Keywords: Slovenija, industrijsko podjetje, Rosenbauer, poslovanje podjetja, uspešnost poslovanja, vodenje, pristojnost, raziskave, analiza Full text (outside link) |
86. Zaznavanje sreče na delovnem mestu - raziskava med zaposlenimiAlex Garić, 2018, undergraduate thesis Keywords: delo, delovno mesto, zadovoljstvo, plače, nagrajevanje, delovni pogoji, delovni čas, raziskave, analiza Full text (outside link) |
|
|
|
|