1 / 1 / 1
Регистрация: 13.02.2011
Сообщений: 179
1

Теорема РАЙСА

22.11.2011, 21:04. Показов 1808. Ответов 1
Метки нет (Все метки)

Срочно нужна теорема Райса с доказательством. Может кто подскажет где ее найти?!....(( ...

Ориентированое определение:

"Совокупность номеров некоторого непустого подмножества частично рекурсивных функций не является рекурсивным множеством."

этот вопрос очень нужен сегодня!!!!

где только не искала - нет!(

В конспекте только заданое выше определение. Кстати, оно сформулировано в нём в теме "Нумерации Поста".

Помогите, кто может!(.. От ответа зависит судьба моего екзамена(((
__________________
Помощь в написании контрольных, курсовых и дипломных работ здесь
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
22.11.2011, 21:04
Ответы с готовыми решениями:

Покажите, что если бы теорема Райса–Успенского была неверна, то и теорема Клини была бы неверна
Покажите, что если бы теорема Райса–Успенского была неверна, то и теорема Клини была бы неверна.

Теорема Поста
Как проверить систему функций М на полноту М={0,1} ? Добавлено через 1 час 37 минут как...

Игошин Теорема 3.3
Игошин Теорема 3.3 (в) В книге указано, что следующая формула является тавтологией ...

Теорема Дидукции
Ребята, вот начал решать пример по теореме дидукции и сразу же не могу понять, как дальше...

1
Змеюка одышечная
9855 / 4583 / 178
Регистрация: 04.01.2011
Сообщений: 8,557
22.11.2011, 21:32 2
первая же ссылка по запросу в поисковике "теорема Райса доказательство".
или вот
0
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
22.11.2011, 21:32

Теорема Поста
Проверьте, используя теорему Поста, полноту системы: {+,←→}

Теорема Геделя
Все человечиских рассуждение не всегда верно, даже математический. Как показал Гедель что,...

Теорема о полноте теории L
помогите пожалуйста доказать теорему о полноте (вторая часть): Всякая тавтология A-И=> является...

Теорема жигалкина. Коэффициенты
Чему равны в полиноме жигалкина коэффициенты: a0,a2,a3,a12,a13,a123. Как найти эти коэффициенты по...

Теорема о переходе к образам и прообразам
fA = Область определения функции; fB = Область значений функции; Не могу понять смысл теоремы,...

Теорема о существовании точных граней числового множества
Доказательство: Пусть множество X непусто и ограничено сверху и пусть B обозначает множество всех...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
2
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2021, vBulletin Solutions, Inc.