Številke

Osnovno Bibliografija Objave zaključnih del Top ključne besede Pojavnost ključnih besed Komentorji

Tabela zajema ključne besede vseh zaključnih del, pri katerih oseba sodeluje kot mentor. Ključne besede so urejene po številu ponovitev, največkrat ponovljene na vrhu. Iz ključnih besed z zgornjega dela tabele je mogoče sklepati na tematike, s katerimi se je oz. se mentor ukvarja.

Oseba: Matija Pretnar

Vseh ključnih besed je 54, ki se skupaj pojavijo 57 krat.
3 ključnih besed (5.56 % vseh) se pojavi večkrat, skupaj 6 krat (10.53 % vseh pojavitev).

PonovitevKljučne besede
Št.%
2x33.33%prestrezniki algebrajskih učinkov, eksplicitni tipi, algebrajski učinki
1xHaskell, Gaussova metoda, algebrajski učinki in njihovi prestrezniki, izpeljava tipov, metode podpornih vektorjev, algoritem Warshall-Floyd-Kleene, register nepremičnin, zaprtje, polkolobar matrik, Jacobijev algoritem, dualni problem, Polkolobar, matematika, statistika, Django, solventnost II, kapitalske zahteve, R, Projekt Tomo, lambda račun z enostavnimi tipi, nepremičnina, programski jeziki, sistem tipov, lambda račun, jedra, jezik brez eksplicitnih učinkov, vzporedno izvajanje, asinhrono izvajanje, prestrezniki, signali, jedrne funkcije, prevajanje, Javascript, ZX-račun, graf, kategorična kvantna mehanika, Eff, Hilbertovi prostori z reproducirajočim jedrom, Algebraic effects, srednješolska matematika, Python knjižnica, računski učinki, Kvantno računalništvo, parcela, matematične naloge, samodejno generiranje, effect handlers, functional programming, theory of programming languages, denotational semantics, stavba