Riddick
Удален
|
    
Нужно доказать, что функция f(x,y) = x^2 + y является примитивно-рекурсивной. Кто в этом хорошо разбирается помогите пожалуйста решить!!!
P.S. Cвои попытки док-ва напишу чуть позже
|
Всего сообщений: N/A | Присоединился: N/A | Отправлено: 16 июня 2006 13:50 | IP
|
|
Olivka
Удален
|
Необходимо воспользоваться схемой примитивной рекурсии или отдельно показать, что каждое слагаемое суммы - ПРФ, а затем сослаться на свойство, что сумма ПРФ есть ПРФ. А вообще, хотелось бы посмотреть на ваши попытки доказательства, прежде чем предлагать какие-то варианты решения
|
Всего сообщений: N/A | Присоединился: N/A | Отправлено: 29 июня 2006 23:26 | IP
|
|
|
Форум
Примитивно-рекурсивные функции
