Сomparison-line Голосов: 1 Адрес блога: http://comparison-line.ru Добавлен: 2010-11-26 13:42:23 блограйдером kottx

Фильтр «контекст»

2013-03-14 19:52:05 (читать в оригинале)

Фильтр «контекст(подчинено(х1 фикс(0 1 1 3)) символ(х1 логарифм) контекст( подчинено(х2 х1) равно(х2 значение(/ .г))))» определяет проверку того, что подынте-гральное выражение содержит логарифм, внутри которого имеется вхождение выра-жения, идентифицированного с f(x) Эта проверка предшествует обработке первого антецедента и служит для отсечения случаев, в которых он почти наверняка не будет реализован Первый и второй антецеденты выделены указателями [...]

---

Прием имеет заголовок «замена(второйтерм видумножение)», указывающий на замену слева направо.

2013-03-12 10:20:12 (читать в оригинале)

Так как заменяемая часть симметрична, используется фильтр, отсекающий по-ловину попыток применения приема- рассматриваются только случаи, когда выражение а лексикографически предшествует выражению Ь. Этот фильтр имеет вид «лексикопредшествует(фикс(0 1 1)фикс(0 1 2))». Фильтр «коммент(числоценка)» блокирует применение приема в ситуациях, когда разложение на множители предпринято для упрощения неравенства с нулем в одной из частей: здесь целесообразнее перенести [...]

---

Фильтры и их параметры

2013-03-12 10:18:31 (читать в оригинале)

Все эти фильтры были подсказаны совсем небольшим числом примеров, имеют достаточно грубый характер, и при продолжении обучения возможен цикл их уточнений. Надо сказать, что любой сколь-нибудь сомнительный или непонятный фильтр легко можно проанализировать заново, определив все те задачи, в которых он блокирует срабатывание приема, или в которых прием срабатывает несмотря на этот фильтр Для этого [...]

---

«видумножение».

2013-03-12 10:12:37 (читать в оригинале)

«видумножение». Теорема его имеет вид. = a(b — c)(b + с) + d ab2 — а с2 + d = г)». Выглядит она несколько искусственно, так как сочетает в себе два преобразования — переход от ab2 — ас2 к a(b — с)(Ь + с) и разложение на множители суммы, полученной после данной группировки. Это разложение [...]

---

Фильтр «или(не(коммент(группировка))

2013-03-12 10:10:57 (читать в оригинале)

Фильтр «или(не(коммент(группировка)) не(меньше( количествооперандов( текв-хожд) 4)))» проверяет, в случае первой группировки пары слагаемых, что общее число слагаемых не менее 4 — для малого числа слагаемых разложение на множители обеспечивается другими приемами, без предварительных группировок. Фильтр «меньше(количествооперандов(теквхожд)8)» введен для блокировки за-медляющих действия решателя попыток разложения на множители слишком длинных сумм путем группировок. Фильтр «не(константа(корень))» блокирует применение [...]