алгоритмічні системи, алгоритмические системы ; загальна алгебра, общая алгебра, college algebra ; комп'ютерна дискретна математика, КДМ, компьютерная дискретная математика ; математична логіка, математическая логика, mathematical logic, logique mathematique, mathematische Logik ; машини Поста, машины Поста ; машини Тьюрінга, машины Тьюринга ; предикати, предикаты ; теорія алгоритмів, теория алгоритмов, theory of algorithms ; теорія графів, теория графов, graphs theory ; теорія множин, теория множеств

МОН України

• УДК // МАТЕМАТИЧНА КІБЕРНЕТИКА