2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Доказать примитивную рекурсивность функции
Сообщение11.11.2014, 09:58 
Здравствуйте, помогите пожалуйста с заданием: доказать примитивную рекурсивность функции $f(x,y)=\min(x,y)$. Нигде не смогла найти решение этой задачи, сама решила вот так:
$f(x,0)=\min(x,0)=0=Z(x)$
$f(x,y+1)=\min(x,y+1)$, рассмотрим 2 возможных случая:
1) $x \leqslant y$
$f(x,y+1)=\min(x,y+1)=x=I_1^3(x,y,f(x,y))$
2) $x>y$
$f(x,y+1)=\min(x,y+1)=y+1=S(I_2^3(x,y,f(x,y)))$

Посмотрите пожалуйста, я правильно решила? Или так нельзя? Больше ничего на ум не приходит :-(

 
 
 
 Re: Доказать примитивную рекурсивность функции
Сообщение11.11.2014, 12:02 
maruskapriv в сообщении #929611 писал(а):
$f(x,y+1)=\min(x,y+1)$, рассмотрим 2 возможных случая:
1) $x \leqslant y$
$f(x,y+1)=\min(x,y+1)=x=I_1^3(x,y,f(x,y))$
2) $x>y$
$f(x,y+1)=\min(x,y+1)=y+1=S(I_2^3(x,y,f(x,y)))$
А пускай-ка эти случаи лучше будут $x=0$ и $x=x'+1$!

 
 
 [ Сообщений: 2 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group