Консультация # 189297: Уважаемые эксперты! Пожалуйста, ответьте на вопрос: Здравствуйте, уважаемые эксперты. Подскажите, как написать программу МНР, геделев номер которой равен 188. Заранее благодарен.
Уважаемые эксперты! Пожалуйста, ответьте на вопрос:
Здравствуйте, уважаемые эксперты. Подскажите, как написать программу МНР, геделев номер которой равен 188. Заранее благодарен.
Дата отправки: 04.05.2016, 05:00
Вопрос задал: region41 (Посетитель)
Всего ответов: 1
Страница онлайн-консультации »
Консультирует Лысков Игорь Витальевич (Старший модератор):
Здравствуйте, region41!
Имеем гёделев номер программы γ (P) = 188
Тогда τ ( β 1, β 2. β n) = γ (P) + 1 = 189 = BD16 = 101111012 = 2 0 + 2 2 + 2 3 + 2 4 + 2 5 + 2 7
n задает число команд МНР и определяется количеством единиц в числе 101111012. Видим, что n = 6
τ ( β 1, β 2, β 3, β 4, β 5, β 6) = 2 β 1 + 2 β 1+ β 2+1 + 2 β 1+ β 2+ β 3+2 + 2 β 1+ β 2+ β 3+ β 4+3 + 2 β 1+ β 2+ β 3+ β 4+ β 5+4 + 2 β 1+ β 2+ β 3+ β 4+ β 5+ β 6+5 = 2 0 + 2 2 + 2 3 + 2 4 + 2 5 + 2 7
Кузнецов С. Л. — Математическая логика — Гёделева нумерация
Легко увидеть, что:
β 1 = 0
β 1 + β 2 + 1 = 2
β 1 + β 2 + β 3 + 2 = 3
β 1 + β 2 + β 3 + β 4 + 3 = 4
β 1 + β 2 + β 3 + β 4 + β 5 + 4 = 5
β 1 + β 2 + β 3 + β 4 + β 5 + β 6 + 5 = 7
Откуда:
β 1 = 0, β 2 = 1, β 3 = 0, β 4 = 0, β 5 = 0, β 6 = 1
Для каждого типа команды МНР есть свои правила для вычисления числа Гёделя:
β (Z(n)) = 4(n-1)
β (S(n)) = 4(n-1) + 1
β (T(m,n)) = 4 π (m-1,n-1) + 2
β (J(m,n,q)) = 4 ξ (m,n,q) + 3 = 4 π ( π (m-1,n-1),q-1) + 3
где π (m,n) = 2 m (2n+1)-1
Далее:
β 1 = 0 = 4(n-1) ⇒ n = 1, и первая команда Z(1)
β 2 = 1 = 4(n-1)+1 ⇒ n = 1, и вторая команда S(1)
β 3 = 0 = 4(n-1) ⇒ n = 1, и третья команда Z(1)
β 4 = 0 = 4(n-1) ⇒ n = 1, и четвертая команда Z(1)
β 5 = 0 = 4(n-1) ⇒ n = 1, и пятая команда Z(1)
β 6 = 1 = 4(n-1)+1 ⇒ n = 1, и шестая команда S(1)
Итого, получили следующую программу МНР:
Z(1)
S(1)
Z(1)
Z(1)
Z(1)
S(1)
Проверьте решение. Если что не так, пишите в мини-форуме, разберемся.
Не смог найти в сети доступного объяснения на свой вопрос, Игорь Витальевич разложил все по полочкам. Большое спасибо!
——
Дата оценки: 06.05.2016, 00:57
Рейтинг ответа:
Дорогой читатель! Команда портала RFPRO.RU благодарит Вас за то, что Вы пользуетесь нашими услугами. Вы только что прочли очередной выпуск рассылки. Мы старались. Пожалуйста, оцените его. Если совет помог Вам, если Вам понравился ответ, Вы можете поблагодарить автора — для этого в каждом ответе есть специальные ссылки.
Вы можете оставить отзыв о работе портале. Нам очень важно знать Ваше мнение. Вы можете поближе познакомиться с жизнью портала, посетив наш форум, почитав журнал, который издают наши эксперты. Если у Вас есть желание помочь людям, поделиться своими знаниями, Вы можете зарегистрироваться экспертом. Заходите — у нас интересно!
Вторая теорема Гёделя
МЫ РАБОТАЕМ ДЛЯ ВАС!
Источник: subscribe.ru
Написать программу геделев номер которой равен 188
- Новости
- Клуб Askona
- Частые вопросы
- Оплата заказа
перезвоните мне
с 06:00 до 00:00
Тип товара
Подъемный механизм
Ящик для белья
Робот-пылесос
Совместимость с Ergomotion
Выбор опор
Крайне важно найти баланс между банальной функциональностью и эстетической стороной кроватей, а также определиться с оптимальным размером и формой.
В каталоге интернет-магазина Askona вы можете купить недорогие и эксклюзивные модели:
- с подъемным механизмом;
- элегантные круглые;
- лаконичные односпальные;
- роскошные двуспальные и экстра большие.
Интернет-магазин Askona предлагает обширный каталог недорогих моделей на любой вкус. Купить кровать можно в одном из фирменных магазинов сети либо на официальном сайте, к слову, выбор в интернет-магазине богаче. Цены зависят от конструкции модели, выбранного материала, а также от размера спального места. Приобретенный товар будет доставлен вам в кратчайший срок в Москву или другой город России. Цена доставки кровати зависит от суммы покупки и прочих условий.
Источник: www.askona.ru
BFM: В ФРГ начали арестовывать автомобили с российскими номерами
Россиянин рассказал о проблемах, когда он пожелал переправиться на пароме из Латвии и Германию, пишет BFM.
Ранее он приехал из России в Эстонию на своем автомобиле по паспорту Израиля. Потом прибыл в Латвию и оттуда отправился на пароме в ФРГ. При выезде мужчину остановили полицейские, они затребовали документы на авто, паспорт и сказали, что он нарушает санкционные законы. Якобы въезжать в ФРГ с российскими номерами запретили. Автомашину арестовали, а на него открыли уголовное дело.
Спустя несколько часов мужчину отпустили, но не вернули имущество.
«Ввоз машины, даже принадлежащей на правах собственности данным лицам, с территории иностранного государства трактуется таможенными органами как импорт, ввоз товара. Оценивается сам факт перемещения товара через таможенную границу ЕС. Вопрос применения санкционного законодательства очень политизирован. Поэтому в любой ситуации, когда есть сомнения, оно трактуется не в пользу граждан России», — заметила адвокат Мария Любимова.
Источник: banki.loans