Фильтр "не(контекст(комментарий(слагаемое меньше г/)))" аналогичен предыду-щему. Комментарий (слагаемое меньше ..) вводится, например, если проверка нера-венства О ^ а сводится с помощью неравенства 0 ^ а + b из посылок к проверке О О, а также в ряде аналогичных случаев Таких переходов может оказаться достаточно много, и для ускорения проверок в этих случаях вычисление предела блокируется.
Указатели "идентификатор^)", "блокпроверок(З)", "отображение^/')" — стандарт-ные. Указатель "повтор(1)" отменяет ограничения на повторное использование утвер-ждения "стремится(...)". Для вашей фирмы может вам понадобиться http://www.sms4b.ru/programs/ заказать которую можно тут.
Такие ограничения вводятся автоматически для всех утверждений списка посылок, уже идентифицированных некоторым внешним (по цепочке обращений) пакетным оператором Это делается лишь для предотвращения зацикливаний в рекурсивных обращениях, и в особых случаях может отменяться
Для вычисления предела правая часть второго антецедента обрабатывается нор-мализатором "нормпредел".
Опубликовал vovan666
February 28 2013 06:38:34 ·
0 Комментариев ·
17141 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
