Эффект отбора лучшего варианта обеспечивается у последних распределением приемов по различным уровням и уточнением логики принятия решения. Единственное преимущество нормализаторов с указателем "группировка" (будем называть их нормализаторами группировки) — возможность почти не заботиться о фильтрах их приемов. По существу, такой нормализатор представляет собой просто список тождеств, крайне слабо обработанных с точки зрения управления Разумеется, это удешевляет нормализатор, но сказывается на качестве его работы.
По этой причине, единственным сохранившимся нормализатором группировки в решателе является нормализатор "группмножество", используемый для сокращенной переформулировки выражений из алгебры множеств Его можно найти в разделе. "Алгебра множеств" - "Множество" - "Нормализатор группировки ГРУППМНО-ЖЕСТВО". Приемы его практически ничего, кроме теоремы, заголовка и указателя уровня срабатывания, не содержат, и здесь мы их не приводим.
Опубликовал vovan666
February 28 2013 06:48:33 ·
0 Комментариев ·
2936 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
