Докажите, что множество пар программ, совпадающих лишь в конечном числе аргументов, неперечислимо и не коперечислимо (если обе программы на данном аргументе не определены, то они считаются совпадающими).

P.S. Метки "теория алгоритмов" или чего-то подобного не нашел

задан 23 Апр '15 1:55

изменен 23 Апр '15 22:23

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

Ваш ответ

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

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

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

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

отмечен:

×480
×94

задан
23 Апр '15 1:55

показан
198 раз

обновлен
23 Апр '15 22:23

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

по почте:

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

по RSS:

Ответы

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

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