2. Programiranje z algebrajskimi učinki
Timotej Lazar, 2012, diplomsko delo

Ključne besede: računski učinki, prirejanje vzorcev, računalništvo, računalništvo in informatika, računalništvo in matematika, univerzitetni študij, diplomske naloge
Celotno besedilo (povezava drugam)

4. Denotacijska semantika PCF
Kristjan Kostelec, 2020, delo diplomskega seminarja/zaključno seminarsko delo/naloga

Ključne besede: programski jezik PCF, operacijska semantika, denotacijska semantika, domene, substitucijska lema, izrek o usklajenosti semantike, izrek o ustreznosti semantike, izrek o primernosti semantike
Celotno besedilo (datoteka, 564,75 KB)

6. Algoritmi za risanje fraktalov IFS
Katarina Zadražnik, 2011, diplomsko delo

Ključne besede: matematika, fraktali, prostor fraktalov, skrčitev, iterirani funkcijski sistemi, deterministični algoritem, prostor mer, naključni algoritem
Celotno besedilo (datoteka, 2,24 MB)

8. Odločitvena drevesa
Anja Zupančič, 2011, diplomsko delo

Ključne besede: matematika, odločitvena drevesa, klasifikacija, strojno učenje, podatkovno rudarjenje, umetna inteligenca, atributi, rezanje drevesa, prečno preverjanje, entropija
Celotno besedilo (datoteka, 630,36 KB)

10. Uporaba genetskih algoritmov in metod Monte Carlo za iskanje optimalne strategije samozadrževanja v bonus-malus sistemih
Andrej Maršič, 2012, diplomsko delo

Ključne besede: genetski algoritmi, metode Monte Carlo, bonus-malus sistemi, optimizacija, simulacija
Celotno besedilo (datoteka, 309,50 KB)