Š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 31, ki se skupaj pojavijo 33 krat.
2 ključnih besed (6.45 % vseh) se pojavi večkrat, skupaj 4 krat (12.12 % vseh pojavitev).

PonovitevKljučne besede
Št.%
2x50%OCaml, funkcijski programski jeziki
1xprogramski jeziki, vezane spremenljivke, bločna veriga, Flare, Ethereum, pametna pogodba, Solidity, podatkovna baza, prevajalniki, WebAssembly, paralelizacija, grafovski algoritmi, iskanje v širino (BFS), Dijkstrov algoritem, Floyd-Warshallov algoritem, večjedrno računanje, avtomat končnih stanj, asinhrono programiranje, sistem lastništva, Rust, lambda račun, časovno omejeni viri, modalni tipi, izrek o varnosti, teorija enačb, skladnost, formalizacija, kvantno računalništvo, algebrajski učinki