Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování automata theory formal languages formální jazyky teorie automatů finite automaton konečný automat Počítačová věda. Výpočetní technika. Informační technologie algebra algebraic structures algebraické struktury charts, diagrams, etc grafy a schémata graph theory matematika mathematics predicate calculus predikátová logika programming languages programovací jazyky propositional calculus stromy (teorie grafů) teorie grafů trees (graph theory) výroková logika