Š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: Andrej Bauer

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%teorija tipov, funkcijsko programiranje
1xHaskell, GHC, plavajoča vejica, kategorije, Teorija kategorij, Yonedova lema, MPFR, C, metoda sledenja žarku, POV-Ray., fraktal, latinski kvadrat, imaginarna kocka, dokazovalni pomočnik, vsota tipov., dokazovalni pomočniki, topos, teorija realizabilnosti, teorij izračunljivosti, vizualizacija, hiperbolična geometrija, Beckov izrek o monadah, teorija kategorij, koinduktivni tip, geometrija, induktivni tip, rekurzivni tip, kolimita, 3D model