Na videz nemogoči funkcionaliMakovecki, Tine (Avtor) Bauer, Andrej (Mentor) funkcional izbireCantorjeva množicafunkcijsko programiranjefunkcionalidrevesaizračunljivostV 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.20182018-09-23 07:46:08Delo diplomskega seminarja/zaključno seminarsko delo/naloga103726UDK: 004VisID: 91734COBISS_ID: 18478425sl