0 / 0 / 0
Регистрация: 17.10.2014
Сообщений: 18
1

Доказать что функция примитивно (частично) рекурсивна

01.06.2016, 13:05. Показов 1746. Ответов 3

Author24 — интернет-сервис помощи студентам
Доказать что функция примитивно (частично) рекурсивна
Миниатюры
Доказать что функция примитивно (частично) рекурсивна  
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
01.06.2016, 13:05
Ответы с готовыми решениями:

Доказать, что функция примитивно рекурсивна
{f}_{9}(x,y)=max(x,y)

Доказать, что функция примитивно рекурсивна
Доказать, что функция примитивно рекурсивна f(y)=y^4

Доказать, что функция примитивно-рекурсивна
Доброй ночи. помогите доказать, что функция примитивно-рекурсивна: f(x,y)=x*y;

Доказать, что функция примитивно-рекурсивная
Доказать, что функция примитивно-рекурсивная f(x)={x}^{y}

3
0 / 0 / 0
Регистрация: 17.10.2014
Сообщений: 18
01.06.2016, 13:11  [ТС] 2
https://www.cyberforum.ru/cgi-bin/latex.cgi?\ f (x,y) = \begin{cases} & \text{ \left[ \frac{3}{x}\right] },  esli  \left(x=y+1 \right)  \\  & \text{ 2(ne opredelena) v ostalnyh sluchajah. }  \end{cases}
0
205 / 142 / 57
Регистрация: 25.12.2014
Сообщений: 447
01.06.2016, 16:15 3
Т.е. это 2 функции: одна примитивно рекурсивна "2, в остальных случаях", другая частично рекурсивна "неопределена, в остальных случаях"? А ветвь "если x=y+1" у обеих функций одинакова.
0
Эксперт по математике/физике
5004 / 3616 / 1162
Регистрация: 01.09.2014
Сообщений: 9,769
01.06.2016, 23:42 4
В примитивно рекурсивных функциях можно делать проверку на некоторые условия, в частности, на равенства двух чисел. Посмотрите, как это делается в вашем учебнике.
0
01.06.2016, 23:42
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
01.06.2016, 23:42
Помогаю со студенческими работами здесь

Доказать, что предикат является примитивно рекурсивным
Доказать что предикат P(e,x,t) является примитивно рекурсивным: P(e,x,t) - машина Тьюринга с...

Примитивно и частично рекурсивные функции
Есть такое задание. Доказать примитивную рекурсивность функции с использованием либо ограниченного...

Докажите, что функция является примитивно-рекурсивной
Докажите, что функция является примитивно-рекурсивной f(x)=2^x

Доказать, что предикат является (или не является) (примитивно) рекурсивным
Нужна курсовая по теме. Если у кого то есть хоть какая то информация - буду очень признателен. ...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
4
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru