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

Заголовок приема — «вывод»

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

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

---

Следующий пример

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

Следующий пример — тоже геометрический Он связан с ситуациями, в которых вводится численный параметр, обозначающий некоторую характеристику чертежа — расстояние, угол и т. п Такой параметр нужен лишь для промежуточных вычислений и в ответ включаться не будет. Однако если временно рассматривать его как известную величину, то будет инициировано срабатывание многих полезных приемов, и шансы найти [...]

---

Указатели «новаяпосылка»

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

Указатели «новаяпосылка(х5 контекст(вид(х5 принадлежит(хб отрезок(х7 В))))2У\ «новаяпосылка(х5 контекст(вид(х5 актив(расстояние(хб х7)))усм(принадлежит (хб прямая(Л С))))3)» определяют переключение внимания после проведения высоты веса посылок, указывающих принадлежность точки отрезку с конпом в В, уменьшаются до 2, а веса посылок, выделяющих расстояния до точек прямой АС уменьшаются до 3. Такие указатели вводятся по мере надобности в процессе прогонки решателя по [...]

---

Указатель определяет обработку первого и второго антецедентов

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

Фильтр «не(контекст(усм(перпендикулярно(прямая(х7 В)прямая(ЛС)))))» означает отсутствие ранее проведенного перпендикуляра к прямой АС, проходящего через точку В — он необходим, чтобы прием не начал бесконечный процесс ввода все новых и новых обозначений для основания такого перпендикуляра. Фильтр «конец(или(контекст(усм(равно(расстояние(/Ш) расстояние(#С)))) не( контекст(список(х5 терм(расстояние(Л£)) терм(расстояние(/?С))) не(известно(х5)) ))))» требует, чтобы либо треугольник АВС был равнобедренным, с вершиной В, либо чтобы [...]

---

Антецеденты теоремы

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

Антецеденты теоремы означают, что к моменту применения приема расстояния 1(АВ), 1(ВС), 1(АС) уже должны в явном виде упоминаться в посылках задачи. В геометрии такое упоминание расстояний, углов и площадей приводит к немедлен­ному срабатыванию приемов, регистрирующих их в посылках вида «актив(Х)», где X — данное расстояние, угол, площадь и т. п. Консеквент теоремы представляет собой конъюнкцию [...]