Š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 21, ki se skupaj pojavijo 21 krat.
0 ključnih besed (0 % vseh) se pojavi večkrat, skupaj 0 krat (0 % vseh pojavitev).

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