formální jazyky informatika 263 matematická logika 251 počítače 168 umělá inteligence 147 robotika 145 softwarové inženýrství 109 více ... algoritmizace 106 programovací jazyky 88 programování 81 diskrétní matematika 39 vyhledávání v datech 35 vyhledávání informací 32 informační systémy 27 internet 25 operační systémy 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 informační paměť 9 počítačová architektura 9 zpracování obrazů 9 méně ...