примитивно рекурсивные функции

Отменен
Заказ
1587400
Раздел
Математические дисциплины
Предмет
Математическая логика
Тип работы
Антиплагиат
Не указан
Срок сдачи
9 Июн 2019 в 18:00
Цена
1 500 ₽
Блокировка
10 дней
Размещен
5 Июн 2019 в 07:05
Просмотров
98
Описание работы

Доказать и подробно объяснить, что следующий предикат является (или не является) (примитивно) рекурсивным:

«х есть геделев номер частного случая схемы логических аксиом (11)»

(Мендельсон: с. 151 — )

Нужна такая же работа?
  • Разместите заказ
  • Выберите исполнителя
  • Получите результат
Гарантия на работу1 год
Средний балл4.53
СтоимостьНазначаете сами
ЭкспертВыбираете сами
Уникальность работыот 70%
Нужна аналогичная работа?
Оформи быстрый заказ и узнай стоимость
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Прямой эфир