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