Vaš brskalnik ne omogoča JavaScript!
JavaScript je nujen za pravilno delovanje teh spletnih strani. Omogočite JavaScript ali pa uporabite sodobnejši brskalnik.
Nacionalni portal odprte znanosti
Odprta znanost
DiKUL
slv
|
eng
Iskanje
Brskanje
Novo v RUL
Kaj je RUL
V številkah
Pomoč
Prijava
Na videz nemogoči funkcionali : delo diplomskega seminarja
ID
Makovecki, Tine
(
Avtor
),
ID
Bauer, Andrej
(
Mentor
)
Več o mentorju...
PDF - Predstavitvena datoteka,
prenos
(448,17 KB)
MD5: F1AE487901C898FFC275BCFED592165F
Galerija slik
Izvleček
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.
Jezik:
Slovenski jezik
Ključne besede:
funkcional izbire
,
Cantorjeva množica
,
funkcijsko programiranje
,
funkcionali
,
drevesa
,
izračunljivost
Vrsta gradiva:
Delo diplomskega seminarja/zaključno seminarsko delo/naloga
Tipologija:
2.11 - Diplomsko delo
Organizacija:
FMF - Fakulteta za matematiko in fiziko
Leto izida:
2018
PID:
20.500.12556/RUL-103726
UDK:
004
COBISS.SI-ID:
18478425
Datum objave v RUL:
23.09.2018
Število ogledov:
1493
Število prenosov:
275
Metapodatki:
Citiraj gradivo
Navadno besedilo
BibTeX
EndNote XML
EndNote/Refer
RIS
ABNT
ACM Ref
AMA
APA
Chicago 17th Author-Date
Harvard
IEEE
ISO 690
MLA
Vancouver
:
Kopiraj citat
Objavi na:
Sekundarni jezik
Jezik:
Angleški jezik
Naslov:
Seemingly impossible functionals
Izvleček:
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.
Ključne besede:
selection functional
,
Cantor set
,
functional programming
,
functionals
,
trees
,
computability
Podobna dela
Podobna dela v RUL:
Podobna dela v drugih slovenskih zbirkah:
Nazaj