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

Геометрический прием

2012-12-19 00:34:15 (читать в оригинале)

<!—more—>Геометрический прием, выполняющий простейшее дополнительное построение — проведение высоты в треугольнике Собственно говоря, имеется много различных приемов, выполняющих именно это действие — каждый применяется в некоторой своей специфической ситуации. Мы выберем одну из наименее громоздких версий — лежащую в разделе «Элементарная геометрия» — «Фигуры» — «Треугольник» — «Отрезок, соединяющий вершину треугольника с точкой на противоположной [...]

---

Следующие два фильтра

2012-12-19 00:32:09 (читать в оригинале)

Следующие два фильтра — «конец(или(известно(терм(расстояние())) известно(терм(расстояни e(CD))) Неизв(терм(расстояние(С,1)))) комментпосылок (треугольник степень треугольник(ЛВС))))» и «или(уровень(7) комментпосы- лок(треугольник степень треугольник(ЛБС)) внешнеизв(терм(расстояние(Л£?))) известно(терм(расстояние(Л£?))) меныие(число(разряд(результат расстояние хб))2))» — возникли при попытке несколько ограничить применение данного приема, если для рассматриваемого прямоугольного треугольника уже выписывалось соот¬ношение теоремы Пифагора. Ввод этого соотношения сопровождается добавлением комментария «треугольник степень треугольников^)» к посылкам задачи. Оба [...]

---

Последнее условие выражается при помощи фильтра

2012-12-19 00:30:29 (читать в оригинале)

Последнее условие выражается при помощи фильтра «Неизв(…)» (как в данном случае), либо при помощи фильтра «неизв(…)», накладывающего несколько более сильные требования и применяемого чаще, чем «Неизв». Каждый из этих фильтров прослеживает цепочку равенств в посылках задачи, начинающуюся равенством, содержащим заданное выражение, и заканчивающуюся равенством, содержащим неиз¬вестные внешней задачи на описание; связи между равенствами в такой [...]

---

ввод фильтра и тарифы

2012-12-14 00:12:20 (читать в оригинале)

Эти фильтры обрабатываются идентифицирующими операторами — ввод фильтра «ycM(F)» эквивалентен присоединению F к списку антецедентов теоремы приема и указанию на обработку этого антецедента идентифицирующим оператором Фильтры вида «усм(…)», кроме ввода определенных ограничений на срабатывание приема, играют роль ускорителей идентификации, так как позволяют переходить от одного объекта к другому с использованием буферов идентифицирующих операторов — фактически [...]

---

Фильтры «посылка»

2012-12-14 00:02:59 (читать в оригинале)

Фильтры «посылка» и «или(тип(доказать)тип(исследовать))» встречаются практи¬чески во всех геометрических приемах, так как обычно геометрические задачи на вычисление решаются путем вывода следствий в посылках их блока анализа. Иногда здесь добавляется возможность срабатывания в посылках задач на преоОразование, что бывает нужно для задач на нахождение геометрических мест точек. Фильтры «не(равно(D Б))» и «не(равно(£> С))» представляют собой ускорители [...]