algebra 66 matematická logika 52 informatika 18 matematika 17 softwarové inženýrství 15 algebraická logika 13 formální jazyky 12 více ... umělá inteligence 10 vyhledávání v datech 9 analytická geometrie 8 počítače 8 diferenciální počet 7 diskrétní matematika 7 funkce 7 kombinatorika 7 množiny 7 teorie množin 7 algoritmizace 6 aritmetika 6 nerovnice 6 rovnice 6 teorie čísel 6 geometrie 5 matematická analýza 5 posloupnosti a řady 5 robotika 4 algebraické struktury 3 integrální počet 3 komplementární svazy 3 kvantová mechanika 3 méně ...