2014 dxdy logo

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

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




 
 Примитивная рекурсия
Сообщение25.10.2015, 00:21 
Определить $f(x,y)$, полученную из функций $g(x)=1$ и $h(x,y,z)=xy$ по схеме примитивной рекурсии.
я нашла:
$f(x,0)=g(x)=1$,
$f(x,1)=h(x,0,f(x,0))=h(x,0,1)=x\cdot0=0$
$f(x,2)=h(x,1,f(x,1))=h(x,1,0)=x\cdot1=x$
$f(x,3)=h(x,2,f(x,2))=h(x,2,x)=x\cdot2=2x$

Не могу определить зависимость( начиная с $f(x,2)$ похоже на $f(x,y)=(y-1)x$, но первые 2 члена никак не укладываются(

 
 
 
 Re: Примитивная рекурсия
Сообщение25.10.2015, 09:40 
ExtreMaLLlka в сообщении #1066369 писал(а):
начиная с $f(x,2)$ похоже на $f(x,y)=(y-1)x$, но первые 2 члена никак не укладываются(
Это почти ответ. Обработайте первые 2 члена отдельным if-ом, да и все. К способу записи итоговой функции ведь нет никаких ограничений. Ну или через $\operatorname{sg}$, если ограничения есть.

 
 
 
 Re: Примитивная рекурсия
Сообщение25.10.2015, 13:18 
а как через sg? не могу придумать

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


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