Дисциплина, которая занимается изучением абстрактных вычислительных машин, представленных в виде математических моделей, называется: