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

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

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

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