Napredno

 
  Išči
    Enostavno iskanje


Rezultati

49 rezultatov
41 - 49 / 49
Na začetekNa prejšnjo stran12345Na naslednjo stranNa konec
41. Finitary type theories with and without contexts
Philipp Georg Haselwarter, Andrej Bauer, 2023, izvirni znanstveni članek

Ključne besede: dependent type theory, context-free type theory, formal meta-theory, proof assistants
Celotno besedilo (datoteka, 2,36 MB) Gradivo ima več datotek! Več...

42. Imaginarna kocka
JANA ČEŠAREK, 2014, diplomsko delo/naloga

Ključne besede: imaginarna kocka, latinski kvadrat, fraktal, metoda sledenja žarku, POV-Ray.
Celotno besedilo (datoteka, 2,14 MB)

43. Plavajoča vejica v čistem funkcijskem jeziku
IVO LIST, 2016, diplomsko delo

Ključne besede: plavajoča vejica, funkcijsko programiranje, Haskell, GHC, MPFR, C
Celotno besedilo (datoteka, 611,82 KB)

44. Yonedova lema in njena uporaba
Jure Taslak, 2017, diplomsko delo/naloga

Ključne besede: Teorija kategorij, Yonedova lema, kategorije
Celotno besedilo (datoteka, 562,25 KB)

45. Izdelava in uporaba dokazovalnega pomočnika
BLAŽ ZUPANČIČ, 2023, diplomsko delo

Ključne besede: dokazovalni pomočnik, teorija tipov
Celotno besedilo (datoteka, 228,09 KB)

46. Implementacija rekurzivnih podatkovnih tipov
Luka Sabotič, 2023, diplomsko delo

Ključne besede: rekurzivni tip, induktivni tip, koinduktivni tip, funkcijsko programiranje, vsota tipov.
Celotno besedilo (datoteka, 222,16 KB)

47. Kolimite v elementarnih toposih
Jure Smolar, 2023, diplomsko delo/naloga

Ključne besede: topos, Beckov izrek o monadah, teorija kategorij, kolimita
Celotno besedilo (datoteka, 471,86 KB)

48. Neprotislovnost klasične sintetične teorije izračunljivosti
Žiga Putrle, 2023, magistrsko delo/naloga

Ključne besede: teorija tipov, teorij izračunljivosti, teorija realizabilnosti, dokazovalni pomočniki
Celotno besedilo (datoteka, 707,72 KB)

49. Modeli hiperbolične geometrije in njihova vizualizacija
Katja Albreht, 2024, magistrsko delo/naloga

Ključne besede: geometrija, hiperbolična geometrija, 3D model, vizualizacija
Celotno besedilo (datoteka, 55,74 MB)
Iskanje izvedeno v 0.14 sek.
Na vrh