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