Vaš brskalnik ne omogoča JavaScript!

JavaScript je nujen za pravilno delovanje teh spletnih strani. Omogočite JavaScript ali pa uporabite sodobnejši brskalnik.





Vrsta gradiva:
Jezik:
Išči po:		Išči
	Prikaži samo rezultate s celotnim besedilom	Enostavno iskanje

49 rezultatov

41 - 49 / 49

1 2 3 4 5

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

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

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

Ključne besede: geometrija, hiperbolična geometrija, 3D model, vizualizacija
Celotno besedilo (datoteka, 55,74 MB)

Iskanje izvedeno v 0.04 sek.