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