Очевидно, что кроме данного приема, для проверки нестрогого знака произве-дения необходимы еще прием, устанавливающий неотрицательность произведения неположительных множителей, а также прием, устанавливающий неотрицательность произведения неотрицательных множителей. Оба эти приема расположены в том же разделе Последний из них интересен тем, что в нем все сомножители рассматриваются одновременно, вместо выделения их по одному, как в первых двух приемах. Так как это может несколько ограничить способность усмотрения неотрицательности (если по отдельности знаки множителей какого-либо фрагмента не устанавливаются, а известен лишь знак всего фрагмента целиком), то дополнительно введен прием усмотрения неотрицательности произведения неотрицательных множителей, аналогичный первым двум — с увеличенным на единицу уровнем срабатывания.
Прием для усмотрения неотрицательности произведения группы неотрицательных сомножителей имеет такого же вида теорему, как и первые два приема
"\/аь(0
Хотя в ней всего два множителя, однако указатель "дистрибразвертка(фикс(0 2))" обобщает ее на случай произвольного числа множителей. В остальном этот прием ничем не отличается от рассмотренного выше.
Опубликовал vovan666
February 28 2013 06:44:25 ·
0 Комментариев ·
2713 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
