Сап, помогач. В общем препод пообещал, если я расскажу ему, что такое рекурсивный предикат и назову примеры рекурсивного предиката, то он поставит мне 3 и отвяжется от меня НАВСЕГДА, поэтому, выручай! в интернетике годного определения не нашел. Так что надеюсь на помощь умнейшего в мире анона. С меня как всегда.
буду бампать хуйней
бамп
>>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дружище, я за сегодня столько не выучу. Нужно короткое определение, которое бы четко объясняло, что такое рекурсивный предикат
>>15473704350 на 50, антош
>>154737172Рекурсивный или примитивно рекурсивный?
>>154737172Рекурсивный предикат - это рекурсивный предикат.
>>154735270 (OP)Умри сука, умри умри умри!
>>154737225в билете попался рекурсивный предикат его виды и примеры. Что такое предикатпросто предикат назвал и виды тоже, но это не то.
>>154736369Моя программа
>>154737659Для айфона?
>>15473723910/10
>>154737566Ну и ебись теперь, на лекции небось не ходил, одногруппниками обоссан и никто конспектов не даёт. Нахуй иди с двачей моих, студентишка.
>>154738130лол, это был долг за 2 курс, на который я давно забил. Мне потом сказали, что нужно его закрыть, иначе к сессии недопуск. Думаешь я теперь что-то помню?)
>>154738378Ты учишься в настолько ссаной шараге, что долги можно не закрывать по несколько лет. Конечно же ты ничего не помнишь и не знаешь, пиздуй на завод.
Завоооод!Завод завод завод....Да здравствуееееееттттЗЗЗЗААААА ВВВВВОООО ДДДДД!!!!