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