>>154735270 (OP)
Ребята, не стоит вскрывать эту тему. Вы молодые, шутливые, вам все легко. Это не то. Это не Чикатило и даже не архивы спецслужб. Сюда лучше не лезть. Серьезно, любой из вас будет жалеть. Лучше закройте тему и забудьте, что тут писалось. Я вполне понимаю, что данным сообщением вызову дополнительный интерес, но хочу сразу предостеречь пытливых - стоп. Остальные просто не найдут.

http://it.kgsu.ru/TI_6/rec_011.html
Хуле ты не нашёл?

>>154735270 (OP)
Пидор. И такие потом устраиваются на работу и клепают тонны говнокода, пожирающего оперативку десятками гигов на тривиальные задачи.

рекурсивный предикат - это признаки разрыва перегородки между оналом и влогалищем

>>154735270 (OP)
Меня за квадратный трёхчлен выгнали.
Мимопетька

>>154735653
>тонны говнокода, пожирающего оперативку десятками гигов
Как у винды 10.
Угу.

рекурсивный предикат - это предпосылки разрыва перегородки между оналом и влогалищем

>>154735987
> >тонны говнокода, пожирающего оперативку десятками гигов
> Как у винды 10.
> Угу.
Встаю в очередь купить аналог винды10 у опа!

Ты пидор?
<Да/Нет >
<Да>
Ты пидор?
<Да/Нет>
<Да>
.
.
.

>>154736256
Что это за мозговая отрыжка?

На этом шаге мы рассмотрим примитивно рекурсивный предикат.

Как нам известно, предикатом называют логическую функцию определенную на заданном множестве объектов. Будем рассматривать в качестве области определения предиката конечный набор, состоящий из натуральных чисел. Таким образом, рассматриваемые предикаты представляют логические функции вида:



В качестве примера предикатов можно привести следующие логические функции:

;
;
.

Определение. Функция φ(x1, ..., xn) называется представляющей функцией для предиката p(x1, ..., xn), если выполняются следующие условия:

Dφ = Dp = D, т.е. их областb определения совпадают;
для любого набора (x1, ..., xn) из области определения D
(17)

Определение. Предикат р(х) называется примитивно рекурсивным, если его представляющая функция является примитивно рекурсивной функцией.

Например, следующие предикаты p1(x,y) = (x=y); p2(x,y) = (x<y) являются примитивно рекурсивными, так как их представляющие функции являются ПРФ.

Действительно, в качестве представляющей функции первого предиката можно взять функцию вида φ1(x) = sg|x-y|, (18) где



является ПРФ. Покажем, что данная функция - ПРФ.

По определению операции примитивной рекурсии получаем, что:



Следовательно, ПРО данной функции является последовательность функций:



Функция f(x,y) = |x-y| определяется следующим образом:

(19)

Прежде чем доказать, что функция f(x,y) = |x-y| является примитивно рекурсивной, рассмотрим следующие функции:

1) (20)
2) (21)

Покажем, что эти функции являются ПРФ.

1) Рассмотрим функцию (20). По определения операции примитивной рекурсии получаем, что



Следовательно, ПРО для данной функции является последовательность функций:



2) Рассмотрим теперь функцию (21). По определения операции примитивной рекурсии получаем, что:



где в последнем равенстве f(x,y) = i(f(x,y)), т.е. получили функцию сходную с функцией в первом случае, следовательно, в качестве ПРО данной функции можно взять последовательность функций:



Исходя из последнего примера, функцию (19), будем представлять следующим образом:



Очевидно, данная функция является ПРФ.

Теперь можно говорить, что выбранная представляющая функция (18), т.е. φ1(x) = sg|x-y| для предиката p1(x,y) = (x=y) является ПРФ и удовлетворяет исходным условиям, т.е.



Для предиката p2(x,y) = (x<y) в качестве представляющей функции можно брать



и очевидно, она удовлетворяет исходным условиям и является ПРФ.

Определение. Функция f(x1, ..., xn) называется ПРФ относительно совокупности функций и предикатов Ψ = {φ1, ..., φm, p1, ..., pk}, если она ПРФ относительно совокупности функций φ1, ..., φm, Ψ1, ..., Ψk, где Ψi, 1<=i<=k - представляющая функция предиката pi.

Определение. Предикат p(x1, ..., xn) называется ПРФ относительно совокупности функций и предикатов Ψ = {φ1, ..., φm, p1, ..., pk}, если представляющая функция предиката p является примитивно рекурсивной относительно совокупности функций φ1, ..., φm, Ψ1, ..., Ψk, где Ψi, 1<=i<=k - представляющая функция предиката pi.

Теорема 2.
Логические операции над предикатами сохраняют свойства примитивной рекурсивности предикатов.
Доказательство.
Приведем в виде таблицы истинностные значения логических операций: конъюнкции, дизъюнкции, импликации и отрицания.

>>154735270 (OP)
Как будто мне надо знать, что такое рекурсивный предикат, чтобы регулярно использовать рекурсию.

>>154736396
>и очевидно, она удовлетворяет исходным условиям
Всегда проигрывал с этого очевидно в книжках.

Тов. Двачеры!
Обучим ОПездола ОПа
И он нам слепит Российскую ОС!
Ура Товарищщи!

>>154736510
Ну пердиш то ты каждый день.

>>154736559
>И он нам слепит Российскую ОС!
Да они и так каждый год ее лепят. Из убунты. Спецы, хуле.

Оп
Ты тут?

суть рекурсии заключается в том, что суть рекурсии заключается в том, что суть рекурсии заключается в том, что суть рекурсии заключается в том, что суть рекурсии заключается в том, что суть рекурсии заключается в том, что суть рекурсии заключается в том, что суть рекурсии заключается в том, что суть рекурсии заключается в том, что суть рекурсии заключается в том, что суть рекурсии заключается в том, что суть рекурсии заключается в том, что

>>154736752
Да, я тут

>>154736848
Мы тебе помогли?

Когда субьект мыслит то, как он мыслит со стороны, как он мыслит... И так далее.
/тред

>>154736396
дружище, я за сегодня столько не выучу. Нужно короткое определение, которое бы четко объясняло, что такое рекурсивный предикат

>>154737043
50 на 50, антош

>>154737172
Рекурсивный или примитивно рекурсивный?

>>154737172
Рекурсивный предикат - это рекурсивный предикат.

>>154735270 (OP)
Умри сука, умри умри умри!

>>154737225
в билете попался рекурсивный предикат его виды и примеры. Что такое предикатпросто предикат назвал и виды тоже, но это не то.

>>154736369
Моя программа

>>154737659
Для айфона?

>>154737566
Ну и ебись теперь, на лекции небось не ходил, одногруппниками обоссан и никто конспектов не даёт. Нахуй иди с двачей моих, студентишка.

>>154738130
лол, это был долг за 2 курс, на который я давно забил. Мне потом сказали, что нужно его закрыть, иначе к сессии недопуск. Думаешь я теперь что-то помню?)

>>154738378
Ты учишься в настолько ссаной шараге, что долги можно не закрывать по несколько лет. Конечно же ты ничего не помнишь и не знаешь, пиздуй на завод.

Завоооод!
Завод завод завод....
Да здравствуеееееетттт
ЗЗЗЗААААА ВВВВВОООО ДДДДД!!!!