Бюрократы, editor, Администраторы
422
правки
Изменения
Отмена правки 15862 участника 192.168.0.2 (обсуждение)
*[[Вычислимые функции]]
*[[Диагональный метод]]
*[[Невозможность одновременного существования универсальной функции и всюду определенности всех элементов семейства вычислимых функций]]
*[[Характеристика перечислимых множеств через вычислимые функции]]
*[[Свойства перечислимых языков. Теорема Успенского-Райса]]
