При каждом обращении к оператору "нормпредел" с целью вычислить предел отношения производных вводится новый экземпляр комментария "частнпроизв", которым снабжается это обращение. В работе вам может потребоваться знание английского языка изучить который можно тут: http://intelligentplus.ru/index.php?area=1&p=static&page=english.
Таким образом, число этих комментариев равно числу внешних применений правила Лопиталя. Фильтр находит данное число х 13 и проверяет выполнение хотя бы одного из следующих условий:
а) х 13 менее 2;
б) числитель либо знаменатель имеет слагаемое, линейное по /у, и тогда х 13 игнорируется;
в) х 13 менее 3, причем числитель и знаменатель имеют каждый не более 40 символов.
Если одно из этих условий выполнено, то далее фильтр проверяет отсутствие тригонометрической функции от выражения с вхождением ?у, расположенной внутри степенного выражения, у которого при х 13 большем 1 показатель степени не являет¬ся десятичной записью целого числа, а при х 13 меньшем или равном 1 — не является константой
Разумеется, перечисленные условия не являются неоспоримыми и не претендуют на полноту — просто они возникли на тех примерах, которые до сих пор были рассмотрены. При продолжении обучения решателя эвристический образ «перспек¬тивной для применения правила Лопиталя ситуации», вероятно, будут развиваться дальше.
Дальше идет фильтр "не(контекст(позиция(х10 корень)символ(х10 факториал) входит(
Следующий фильтр служит для предотвращения многократных последовательных дифференцирований. Он имеет вид "контекст(равно(х13 число(комментарий( х11)заголовок(х11 частнпроизв)))или(меньше(х13 2)контекст(операнд(фикс(0 1 1 3) х11)вид(х11 плюс(х12 умножение(х10 ;
Опубликовал vovan666
April 22 2013 10:29:25 ·
0 Комментариев ·
2865 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
