Набор критериев выбора функциональных эквивалентов

Серия функциональных эквивалентов программы анализируется

Процесс переложения функциональных программ в императивные

Формальная сводимость императивных и функциональных программ в обе стороны

Набор вариантов

С понятием выбора варианта часто связывают

Дополнительные примитивы для моделирования выбора вариантов

Выражение выбора из произвольного числа альтернатив

Указание вероятности выбора варианта в языках учебно-игрового характера

На каждом уровне иерархии набор методов и структуру объектов

Минимальный набор обозначений, к которым можно свести все правильные формулы системы - это