Рекурсивные предикаты

Выполнен
Заказ
1601507
Раздел
Математические дисциплины
Антиплагиат
70% eTXT
Срок сдачи
27 Июн 2019 в 07:00
Цена
1 500 ₽
Блокировка
10 дней
Размещен
20 Июн 2019 в 12:11
Просмотров
56
Описание работы
Доказать, что следующий предикат является (или не является) (примитивно) рекурсивным:
«х есть геделев номер частного случая схемы логических аксиом (4)»
(Мендельсон: с. 151 -)
Нужна такая же работа?
  • Разместите заказ
  • Выберите исполнителя
  • Получите результат
Гарантия на работу1 год
Средний балл4.52
СтоимостьНазначаете сами
ЭкспертВыбираете сами
Уникальность работыот 70%
Время выполнения заказа:
5 дней 7 часов 49 минут
Выполнен в срок
Отзыв о выполненном заказе
Нужна аналогичная работа?
Оформи быстрый заказ и узнай стоимость
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Прямой эфир