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

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

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

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