Advanced

 
  Search
    Simple search


Results

49 results
41 - 49 / 49
First pagePrevious page12345Next pageLast page
41. Finitary type theories with and without contexts
Philipp Georg Haselwarter, Andrej Bauer, 2023, original scientific article

Keywords: dependent type theory, context-free type theory, formal meta-theory, proof assistants
Full text (file, 2,36 MB) This document has more files! More...

42. Imaginarna kocka
JANA ČEŠAREK, 2014, bachelor thesis/paper

Keywords: imaginarna kocka, latinski kvadrat, fraktal, metoda sledenja žarku, POV-Ray.
Full text (file, 2,14 MB)

43. Plavajoča vejica v čistem funkcijskem jeziku
IVO LIST, 2016, undergraduate thesis

Keywords: plavajoča vejica, funkcijsko programiranje, Haskell, GHC, MPFR, C
Full text (file, 611,82 KB)

44. Yonedova lema in njena uporaba
Jure Taslak, 2017, bachelor thesis/paper

Keywords: Teorija kategorij, Yonedova lema, kategorije
Full text (file, 562,25 KB)

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

Keywords: dokazovalni pomočnik, teorija tipov
Full text (file, 228,09 KB)

46. Implementacija rekurzivnih podatkovnih tipov
Luka Sabotič, 2023, undergraduate thesis

Keywords: rekurzivni tip, induktivni tip, koinduktivni tip, funkcijsko programiranje, vsota tipov.
Full text (file, 222,16 KB)

47. Kolimite v elementarnih toposih
Jure Smolar, 2023, bachelor thesis/paper

Keywords: topos, Beckov izrek o monadah, teorija kategorij, kolimita
Full text (file, 471,86 KB)

48. Neprotislovnost klasične sintetične teorije izračunljivosti
Žiga Putrle, 2023, master's thesis/paper

Keywords: teorija tipov, teorij izračunljivosti, teorija realizabilnosti, dokazovalni pomočniki
Full text (file, 707,72 KB)

49. Modeli hiperbolične geometrije in njihova vizualizacija
Katja Albreht, 2024, master's thesis/paper

Keywords: geometrija, hiperbolična geometrija, 3D model, vizualizacija
Full text (file, 55,74 MB)
Search done in 0.04 sec.
Back to top