Številke

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    
umetna inteligenca 1    1 1    
lambda račun1      1    1
računalništvo 11          
kategorije     1     1 
denotacijska semantika   1      1  
strojno učenje 1      1    
proof assistant           11
univerzitetni študij 11          
diplomske naloge 11          
logika prvega reda       1  1  
algebraic theory           11
genetski algoritmi  1   1      
dependent type theory           11