Иногда неотрицательность выражения нужно установить лишь в произвольно малой окрестности заданной точки. Тогда к списку посылок оператора "усмменьшеилиравно" добавляется утверждение "стремится(.г а Ьу\ или, в формульной записи, .г —> а\Ь, здесь b — указатель типа окрестности (двусторонняя, левая, правая). Это утверждение — лишь техническая условность, позволяющая избежать навешивания кванторов на весь текущий контекст В качестве примера приема, учитывающего наличие данного утверждения, рассмотрим прием, который для установления неотрицательности выражения в окрестности точки вычисляет предел его в данной точке. Теорема приема имеет вид:
"V,,/* , (X а\Ь кс= lim f{x) к (г = ос V 0 < с) — О ^ ./'(.г))". j —>(i\b
Заголовок приема — "спуск(усмменьшеилиравно)", фильтр "уровень(З)" определяет его применение на третьем уровне.
Фильтр "не(входит(предел г))" проверяет, что предел удалось вычислить Фильтр "входит(х' фикс(0 2))" проверяет, что переменная :г, для которой задано стремление к а, входит в рассматриваемое выражение — иначе вычисление предела ничего не изменит. Фильтр "коммент(быстрпроверка)" блокирует применение приема в ситуациях, когда есть указание на проведение ускоренной проверки неотрицательности, так как вычисление предела может оказаться достаточно трудоемкой процедурой.
Комментарий "перестановка" вводится приемами, которые для проверки нера-венства предпринимают попытку перестановки его частей одновременно с изменением знаков всех слагаемых этих частей В данном случае имеются два независимых аналогичных приема — один для проверки неотрицательности, другой для проверки неположительности. Поэтому применение приема при наличии комментария "перестановка" излишне, и отмена его обеспечивается фильтром "коммент(перестановка)"
Для эффективной работы вашего бизнеса в наше время целесообразно делать рекламу вашего продукта в интернете. Хорошим вариантом будет создать группу и http://viking-studio.com/product/botovod. При помощи викинг-студио вы сможите быстро раскрутить свой товар в глобальной сети и его увидят миллионы пользователей.
Опубликовал vovan666
February 28 2013 06:43:12 ·
0 Комментариев ·
4307 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
