formální jazyky 273 informatika matematická logika 261 počítače 175 umělá inteligence 150 robotika 148 softwarové inženýrství 117 více ... algoritmizace 109 programovací jazyky 94 programování 87 diskrétní matematika 39 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 strojová lingvistika 15 multiagentní systémy 14 ontologie (informatika) 14 agenti 13 rozpoznávání obrazců 13 bioinformatika 12 počítačová simulace 12 algebra 11 počítačová lingvistika 11 počítačová bezpečnost 10 informační paměť 9 počítačová architektura 9 méně ...