|
22. Induktivni in koinduktivni podatkovni tipiJure Slak, 2015, diplomsko delo Ključne besede: matematika, začetna F-algebra, končna F-koalgebra, induktivni podatkovni tipi, koinduktivni podatkovni tipi, indukcija, koindukcija, rekurzija, korekurzija Celotno besedilo (datoteka, 518,83 KB) |
23. Monade v funkcijskem programiranjuMitja Rozman, 2015, diplomsko delo Ključne besede: matematika, kategorije, funktorji, naravna transformacija, monade, Haskell, funkcijsko programiranje Celotno besedilo (datoteka, 679,01 KB) |
|
|
26. Modeliranje dinamičnih sistemov z rudarjenjem podatkovnih tokovAljaž Osojnik, 2013, magistrsko delo Ključne besede: dinamični sistemi, strojno učenje, rudarjenje podatkovnih tokov, regresijska drevesa, modelna drevesa, opcijska drevesa, ansambli Celotno besedilo (datoteka, 2,59 MB) |
|
|
|
|