высшая математика математический анализ линейная алгебра дифференциальные уравнения ТФКП функциональный анализ теоремы о неподвижных точках алгоритмы и «P-NP»-задачи

Машины Тьюринга

Машина Тьюринга как универсальный вычислительный прибор. Контраст примитивности устройства с фантастическими возможностями. Тезис Тьюринга. Задача Тьюринга как универсальная переборная (NP-полная) задача.