Advanced

 
  Search
    Simple search


Results

49 results
31 - 40 / 49
First pagePrevious page12345Next pageLast page
31. Na videz nemogoči funkcionali
Tine Makovecki, 2018, undergraduate thesis

Keywords: funkcional izbire, Cantorjeva množica, funkcijsko programiranje, funkcionali, drevesa, izračunljivost
Full text (file, 448,17 KB)

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

Keywords: algebrajski učinki, prestrezniki, funkcijsko programiranje, finančna matematika
Full text (file, 500,30 KB) This document has more files! More...

33. Avtomatsko prepoznavanje vedenjskih vzorcev
Martin Molan, 2018, undergraduate thesis

Keywords: 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
Full text (file, 3,88 MB)

34. Gödlov izrek o nepopolnosti
Lana Herman, 2020, bachelor thesis/paper

Keywords: logika prvega reda, Peanova aritmetika, primitivno rekurzivne funkcije, Gödlovo število, Gödlov izrek o nepopolnosti
Full text (file, 467,38 KB)

35. Eksponenti topoloških prostorov
Petra Ivana Reberc, 2018, undergraduate thesis

Keywords: eksponentna topologija, eskponenciabilnost, sržno kompaktni prostori, šibka topologija, krepka topologija, Scottova topologija, topologija Aleksandrova
Full text (file, 744,06 KB)

36. Königova lema in Kleenejevo drevo
Tadej Slivnik, 2019, final seminar paper

Keywords: dvojiško drevo, Cantorjev prostor, Königova lema, teorija izračunljivosti, Kleenejevo drevo
Full text (file, 412,82 KB)

37. Curry-Howardova korespondenca
Neža Korenjak, 2022, bachelor thesis/paper

Keywords: teorija tipov, lambda račun, intuicionistična logika, dedukcija, Curry-Howardova korepondenca
Full text (file, 468,96 KB)

38. Meta-analysis of type theories with an application to the design of formal proofs
Anja Petković Komel, 2021, doctoral dissertation

Keywords: dependent type theory, algebraic theory, proof assistant, type-theoretic elaboration equality checking
Full text (file, 2,41 MB)

39. Preverjanje ravninskosti grafov v Lean
Gašper Golob, 2022, bachelor thesis/paper

Keywords: Dokazovalnik, Lean, ravninski grafi, kombinatorična preslikava
Full text (file, 634,58 KB) This document has more files! More...

40. Algebrajska in regularna kategorna logika
Jure Taslak, 2021, master's thesis/paper

Keywords: teorija kategorij, algebrajske teorije, dualnost, funktorialna semantika, kategorije, kategorna logika, logika, regularna logika, regularne kategorije, sintaktična kategorija
Full text (file, 726,24 KB)
Search done in 0.09 sec.
Back to top