Изменения
→Теория Вычислимости
*[[Разрешимость перечислимого и коперечислимого языка]]
*[[Вычислимые функции]]
*[[Диагональный метод. Невозможность одновременного существования универсальной функции и всюду определенности всех элементов семейства вычислимых функций...]]
*[[Характеристика перечислимых множеств через вычислимые функции]]
*[[Свойства перечислимых языков. Теорема Успенского-Райса]]
