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

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

2012-12-06 17:56:15 (читать в оригинале)

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