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

ввод фильтра и тарифы

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

Эти фильтры обрабатываются идентифицирующими операторами — ввод фильтра «ycM(F)» эквивалентен присоединению F к списку антецедентов теоремы приема и указанию на обработку этого антецедента идентифицирующим оператором Фильтры вида «усм(…)», кроме ввода определенных ограничений на срабатывание приема, играют роль ускорителей идентификации, так как позволяют переходить от одного объекта к другому с использованием буферов идентифицирующих операторов — фактически [...]