Š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 23, ki se skupaj pojavijo 24 krat.
1 ključnih besed (4.35 % vseh) se pojavi večkrat, skupaj 2 krat (8.33 % vseh pojavitev).

PonovitevKljučne besede
Št.%
2x100%funkcijski programski jeziki
1xmodalni tipi, časovno omejeni viri, lambda račun, izrek o varnosti, Rust, skladnost, algebrajski učinki, kvantno računalništvo, formalizacija, sistem lastništva, teorija enačb, asinhrono programiranje, OCaml, grafovski algoritmi, paralelizacija, WebAssembly, iskanje v širino (BFS), Dijkstrov algoritem, avtomat končnih stanj, večjedrno računanje, Floyd-Warshallov algoritem, prevajalniki