Здравствуйте! Помогите, пожалуйста, доказать это высказывание.

"Докажите что, семейство всех унарных частичных вычислимых функций, имеющих тотальное вычислимое продолжение, вычислимо."
Определения. 1)Если функция h получается из вычислимых функций f и g и они всюду определены, то h - тотальная функция. 2)Функция g называется продолжением функции f (частичная функция), если Dom(f) ⊆ Dom(g) и g(x) = f(x) для любого x ∈ Dom(f). Где Dom(f) - область определения. Заранее спасибо!

задан 8 Май 16:23

изменен 10 Май 12:19

10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×649
×43

задан
8 Май 16:23

показан
64 раза

обновлен
10 Май 12:19

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru