Доказать что функция F(x,y)=2x+y+7 частично рекурсивна

[n45]

Пожалуйста, помогите доказать что функция F(x,y)=2x+y+7 частично рекурсивна. Заранее благодарю.

[Asix]

Что Вы уже сделали?
Какие есть идеи и наработки?
И напишите нам определение частичной рекурсивности.

[n45]

К сожалению, наработок никаких нет. Не знаю с какой стороны к задаче подойти.

Определение:
--------------------
Функция f называется частично рекурсивной функцией (ч.р.ф.), если она является одной из простейших функций или может получиться из них с помощью конечного числа применений операторов суперпозиции, примитивной рекурсии и минимизации, т.е. существует последовательность функций f1,f2,…, fn=f, каждая из которых является либо простейшей, либо получена из предыдуших с помощью одного из указанных операторов. Указанная последовательность функций называется частично рекурсивным описанием функции f.
--------------------

[Asix]

Ну так вот, теперь посмотрите определния примитивных функций и операции суперпозиции и сразу поймете ответ.

[n45]

Смотрел уже. Мне математика тяжело дается (иначе тему бы не начинал).