Št. zadetkov: 23
Diplomsko delo
Oznake:
Projekt Tomo;Django;statistika;
Modul za analizo oddanih rešitev na spletni storitvi Projekt Tomo
Leto:
2017
Vir:
Fakulteta za matematiko in fiziko (UL FMF)
Diplomsko delo
Oznake:
matematika;programski jeziki;sistem tipov;lambda račun;lambda račun z enostavnimi tipi;
Uporaba tipov za zagotavljanje pravilnosti programov
Leto:
2017
Vir:
Fakulteta za matematiko in fiziko (UL FMF)
Magistrsko delo
Oznake:
algebrajski učinki in njihovi prestrezniki;izpeljava tipov;eksplicitni tipi;
V delu je predstavljena avtomatska izpeljava in eksplicitna dopolnitev tipov programov z algebrajskimi učinki. Predstavljen je MiniEff, preprost funkcijski programski jezik s polimorfnimi shemami in podporo za algebrajske učinke, ki temelji na jeziku Eff. Za MiniEff sta podana in dokazana izrek o na ...
Leto:
2019
Vir:
Fakulteta za matematiko in fiziko (UL FMF)
Magistrsko delo
Oznake:
parcela;stavba;nepremičnina;register nepremičnin;
V magistrskem delu bomo najprej predstavili nepremičninske evidence v Sloveniji. Na kratko bomo predstavili razloge za vzpostavitev, njihov zgodovinski razvoj in povezanost med njimi. Na koncu bomo pojasnili, kje pri trenutni ureditvi lahko pride do napačnih podatkov.
V nadaljevanju bomo predstav ...
Leto:
2019
Vir:
Fakulteta za matematiko in fiziko (UL FMF)
Magistrsko delo
Oznake:
računski učinki;prestrezniki algebrajskih učinkov;eksplicitni tipi;jezik brez eksplicitnih učinkov;
V delu je predstavljen funkcijski programski jezik Eff za delo z algebrajskimi učinki in njihovimi prestrezniki. Na primeru je prikazan prevod v OCaml in predstavljena učinkovitost izvajanja glede na ročno napisano kodo v OCaml-u. Opisana je optimizacija prevajanja in kakšne težave pri tem nastanejo ...
Leto:
2020
Vir:
Fakulteta za matematiko in fiziko (UL FMF)
Magistrsko delo
Oznake:
samodejno generiranje;matematične naloge;Python knjižnica;srednješolska matematika;
Za utrjevanje snovi srednješolske matematike je potrebno narediti veliko podobnih vaj, vendar pa jih je v učbenikih le omejeno število. V magistrskem delu je predstavljen program, napisan v programskem jeziku Python, ki za vsakega dijaka s podanega seznama sestavi naloge z različnimi pvsevdo-naključ ...
Leto:
2020
Vir:
Fakulteta za matematiko in fiziko (UL FMF)
Doktorska disertacija
Oznake:
algebraic effects;effect handlers;functional programming;theory of programming languages;denotational semantics;
Algebrajski učinki so uveljavljena metoda za modeliranje računskih učinkov v funkcijskem programiranju. Učinke predstavimo z operacijami, pomen pa jim dodelimo s prestrezniki. Teorije algebrajskih učinkov so sestavljene iz signature, ki poda tipe operacij, in enačb, ki opisujejo njihovo obnašanje. V ...
Leto:
2020
Vir:
Fakulteta za matematiko in fiziko (UL FMF)
Diplomsko delo
Oznake:
matematika;jedrne funkcije;Hilbertovi prostori z reproducirajočim jedrom;
V diplomskem delu predstavimo jedrne funkcije in njihovo uporabo v jedrnih metodah. Predstavimo splošen problem binarne klasifikacije in njegovo rešitev v primeru homogene linearne ločljivosti podatkov. Preko Coverjevega izreka spoznamo potrebo po jedrnih funkcijah. Ogledamo si Hilbertove prostore z ...
Leto:
2021
Vir:
Fakulteta za matematiko in fiziko (UL FMF)
Magistrsko delo
Oznake:
Eff;Javascript;prevajanje;algebrajski učinki;prestrezniki algebrajskih učinkov;
Algebrajski učinki in prestrezniki uvajajo nov pristop k reševanju danega problema. S pomočjo prostih monad so uspešno implementirani v prototipnem jeziku Eff, enako logiko pa želimo prenesti tudi na JavaScript. Zaradi različne narave obeh jezikov moramo najprej določiti glavne razlike osnovnih prog ...
Leto:
2021
Vir:
Fakulteta za matematiko in fiziko (UL FMF)
Diplomsko delo
Oznake:
matematika;kvantno računalništvo;ZX-račun;grafi;kategorična kvantna mehanika;
ZX-račun je nov pristop k formalizaciji kvantnega računalništva. Kvantna vezja in procese predstavimo z barvnimi diagrami z dodatnimi pravili za poenostavljanje, kar omogoči opis vsakega kvantnega vezja. Ogledamo si tudi več različic ZX-računa, ki omogočijo predstavitev različnih modelov kvantnega r ...
Leto:
2022
Vir:
Fakulteta za matematiko in fiziko (UL FMF)