formální jazyky informatika matematická logika 254 počítače 171 umělá inteligence 145 robotika 143 softwarové inženýrství 116 více ... algoritmizace 106 programovací jazyky 94 programování 87 diskrétní matematika 37 vyhledávání v datech 35 vyhledávání informací 32 informační systémy 27 operační systémy 27 internet 25 systémy řízení báze dat 24 sémantický web 16 multiagentní systémy 14 ontologie (informatika) 14 agenti 13 bioinformatika 12 počítačová simulace 12 strojová lingvistika 12 algebra 11 počítačová bezpečnost 10 počítačová lingvistika 10 informační paměť 9 počítačová architektura 9 rozpoznávání obrazců 9 méně ...