Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Следующая правка →
Теория формальных языков
256 байт убрано
,
17:58, 24 января 2012
это в диагональном методе
*[[Вычислимые функции]]
*[[Диагональный метод]]
*[[Невозможность одновременного существования универсальной функции и всюду определенности всех элементов семейства вычислимых функций]]
*[[Характеристика перечислимых множеств через вычислимые функции]]
*[[Свойства перечислимых языков. Теорема Успенского-Райса]]
Roman Kolganov
142
правки
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы