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

вспомогательный числовой параметр

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

Фильтр не(контекст(равно(хЗ терм(расстояние(Л))) или(известно(хЗ) внешнеизв(хЗ)))) отбрасывает действие приема, как заведомо бессмысленное, если расстояние 1(АВ) либо уже вычислено, либо выражено только через те неизвестные, которые суть вычисляемые во внешней задаче параметры В этих случаях необходимая инициализация приемов будет выполняться и без ввода специального обозначения для данного расстояния. Фильтр «не(контекст(посылка(хЗ) вид(хЗ равно(х4 расстояние(УШ))) переменная)))» блокирует ввод обозначения, [...]