Задание по КР № 47. Доказать, что предикат Trm(x) является (или не является) (примитивно) рекурсивным, Trm(x): «х есть геделев номер терма». (Мендельсон.: Гл. 3, § 4, Гл. 5, § 3) с пояснением
Гарантия на работу | 1 год |
Средний балл | 4.96 |
Стоимость | Назначаете сами |
Эксперт | Выбираете сами |
Уникальность работы | от 70% |