Гриф: УМО вузов РФ по образованию в области подготовки педагогических кадров

Отраслевые рубрики: математика, теория алгоритмов

Ключевые слова: алгоритмически неразрешимые проблемы, алгоритмы, вычислимые функции, Геделя теорема о неполноте, марковские алгоритмы, массовые проблемы, математическая логика, машина Тьюринга, множества, перечислимые множества, предикаты, разрешимость, разрешимые математические теории, рекурсивные функции, сложность алгоритмов, сложность вычислений, Тарского теорема, теория массовых проблем

Условия доступа:

ЭБС ZNANIUM
Доступ по логину и паролю. Доступ до 31.12.2024.