Številke

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

Tabela prikazuje ponavljanje ključnih besed vseh zaključnih del, pri katerih oseba sodeluje kot mentor. Tabela zajema ključne besede, ki se pojavijo vsaj dvakrat. Iz tabele je mogoče razbrati, kako so se tematike zaključnih del mentorja spreminjale skozi čas.

Oseba: Andrej Bauer

Ključna beseda2010201120122013201420152016201720182019202020212022
matematika 2 2 212     
funkcijsko programiranje  1  1 12    
lambda račun1      1    1
umetna inteligenca 1    1 1    
dependent type theory           11
algebraic theory           11
proof assistant           11
kategorije     1     1 
logika prvega reda       1  1  
denotacijska semantika   1      1  
strojno učenje 1      1    
genetski algoritmi  1   1      
računalništvo 11          
univerzitetni študij 11          
diplomske naloge 11