Конечно, данная теорема приема

Определение корней производной). Его теорема имеет вид: Vafgbia = Ar($0r). Я*)) roots(a, Dom(a)) = setr{f{x) g{jr) = 0)).

Здесь a обозначение для производной исследуемой функции (что будет видно из фильтров приема). Правая часть равенства в консеквенте обрабатывается вспомогательной задачей, в которой решается уравнение д(х) = 0, на основе результата решения создается новая посылка, дающая явное выражение для множества корней производной на ее области определения. Также вас могут заинтересовать фильтры панельные, посмотреть более подробную информацию вы сможете посмотреть перейдя по ссылке.

Конечно, данная теорема приема это еще один пример псевдотеоремы, или почти псевдотеоремы. цель(исследовать) стандартные; новым является лишь последний из них, указывающий на то, что решается задача на качественное описание графика функции.

Фильтр контекст(посылка(хЗ) вид(хЗ Производная(х4 а))) означает наличие посылки, характеризующей функцию а как производную некоторой функции х4.

Фильтр комментпосылки(1 корни) выражает отсутствие комментария к задающему функцию а равенству, означающего, что корни этой функции уже ранее вычислялись.

Указатель примечпосылки(1 корни) создает такой комментарий в случае применения данного приема. тип(описать) и корень указывают, что рассматривается уравнение в условиях задачи на описание, не(известно(г/)), не(известно(г)) и не(известно(/)) указывают, что выражения

Пинг не поддерживается.

Оставить комментарий

Подтвердите, что Вы не бот — выберите самый большой кружок: