Аксиоматика вариантов подобна
При выборе вариантов предпочитаются варианты
Принципиальная особенность аксиоматики вариантов
Дополнительные примитивы для моделирования выбора вариантов
Прямой перебор вариантов в языках логического и генетического программирования
Недетерминизм, ограниченный конечным числом вариантов, допускает в каждый момент времени существование
Набор критериев выбора функциональных эквивалентов
На каждом уровне иерархии набор методов и структуру объектов
Минимальный набор обозначений, к которым можно свести все правильные формулы системы - это
Набор независимо функционирующих составляющих, выглядящих как единая система, представляет собой
