20.500.12556/RUL-103726 Na videz nemogoči funkcionali delo diplomskega seminarja Seemingly impossible functionals V delu obravnavamo računalniško implementacijo funkcionala izbire na Cantorjevi množici. Utemeljimo, da lahko predikate na Cantorjevi množici predstavimo z dvojiškimi drevesi in da nam ta predstavitev pomaga pri implementaciji funkcionala izbire. Dokažemo, da so funkcionali, ki jih obravnavamo, izračunljivi in da so drevesa, ki jih v postopku uporabimo, končna. Funkcional izbire implementiramo v programskem jeziku OCaml na različne načine, ki jih med seboj tudi primerjamo. In this work we discuss the implementation of the selection functional on the Cantor set. We show that continous predicates on the Cantor set can be represented with binary trees and that this representation helps implement the selection functional. It is proven that the functional we discuss is computable and the trees we use are finite. We implement the selection functional in the programming language OCaml in several ways, which we later compare. funkcional izbire Cantorjeva množica funkcijsko programiranje funkcionali drevesa izračunljivost selection functional Cantor set functional programming functionals trees computability true false false Slovenski jezik Angleški jezik Delo diplomskega seminarja/zaključno seminarsko delo/naloga 2018-09-23 07:46:08 2018-09-23 07:46:08 2022-08-17 03:41:19 0000-00-00 00:00:00 2018 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 004 91734 18478425 RAZ_Makovecki_Tine_i2018.pdf RAZ_Makovecki_Tine_i2018.pdf 1 F1AE487901C898FFC275BCFED592165F 0591a5dae95da8e9d7b4be892b273022b87bdfa58e6b71783013460a893c7c46 47f01bd3-a1b6-11eb-a523-00155dcfd717 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=116841 Fakulteta za matematiko in fiziko 0 0 0