Napredno

 
  Išči
    Enostavno iskanje


Rezultati

49 rezultatov
31 - 40 / 49
Na začetekNa prejšnjo stran12345Na naslednjo stranNa konec
31. Na videz nemogoči funkcionali
Tine Makovecki, 2018, diplomsko delo

Ključne besede: funkcional izbire, Cantorjeva množica, funkcijsko programiranje, funkcionali, drevesa, izračunljivost
Celotno besedilo (datoteka, 448,17 KB)

32. Prestrezniki in algebrajski učinki na primerih iz finančne matematike
Ana Golob, 2018, diplomsko delo

Ključne besede: algebrajski učinki, prestrezniki, funkcijsko programiranje, finančna matematika
Celotno besedilo (datoteka, 500,30 KB) Gradivo ima več datotek! Več...

33. Avtomatsko prepoznavanje vedenjskih vzorcev
Martin Molan, 2018, diplomsko delo

Ključne besede: strojno učenje, nadzorovano učenje, nenadzorovano učenje, napovedno modeliranje, modeliranje vedenja, igralniška industrija, umetna inteligenca, odločitveno drevo, naključni gozd, segmentacija
Celotno besedilo (datoteka, 3,88 MB)

34. Gödlov izrek o nepopolnosti
Lana Herman, 2020, diplomsko delo/naloga

Ključne besede: logika prvega reda, Peanova aritmetika, primitivno rekurzivne funkcije, Gödlovo število, Gödlov izrek o nepopolnosti
Celotno besedilo (datoteka, 467,38 KB)

35. Eksponenti topoloških prostorov
Petra Ivana Reberc, 2018, diplomsko delo

Ključne besede: eksponentna topologija, eskponenciabilnost, sržno kompaktni prostori, šibka topologija, krepka topologija, Scottova topologija, topologija Aleksandrova
Celotno besedilo (datoteka, 744,06 KB)

36. Königova lema in Kleenejevo drevo
Tadej Slivnik, 2019, delo diplomskega seminarja/zaključno seminarsko delo/naloga

Ključne besede: dvojiško drevo, Cantorjev prostor, Königova lema, teorija izračunljivosti, Kleenejevo drevo
Celotno besedilo (datoteka, 412,82 KB)

37. Curry-Howardova korespondenca
Neža Korenjak, 2022, diplomsko delo/naloga

Ključne besede: teorija tipov, lambda račun, intuicionistična logika, dedukcija, Curry-Howardova korepondenca
Celotno besedilo (datoteka, 468,96 KB)

38. Meta-analysis of type theories with an application to the design of formal proofs
Anja Petković Komel, 2021, doktorsko delo/naloga

Ključne besede: dependent type theory, algebraic theory, proof assistant, type-theoretic elaboration equality checking
Celotno besedilo (datoteka, 2,41 MB)

39. Preverjanje ravninskosti grafov v Lean
Gašper Golob, 2022, diplomsko delo/naloga

Ključne besede: Dokazovalnik, Lean, ravninski grafi, kombinatorična preslikava
Celotno besedilo (datoteka, 634,58 KB) Gradivo ima več datotek! Več...

40. Algebrajska in regularna kategorna logika
Jure Taslak, 2021, magistrsko delo/naloga

Ključne besede: teorija kategorij, algebrajske teorije, dualnost, funktorialna semantika, kategorije, kategorna logika, logika, regularna logika, regularne kategorije, sintaktična kategorija
Celotno besedilo (datoteka, 726,24 KB)
Iskanje izvedeno v 0.1 sek.
Na vrh