Минимальный набор обозначений, к которым можно свести все правильные формулы системы - это
Подкласс идентификаторов, которым сопоставлено многократно используемое значение, имеет название
Вычислимые выражения - это данные
Вычислимые формы - это данные
Распространение понятия данных на бесконечные, рекурсивно-вычислимые множества
Известное системе слово для языка Форт носит название
Подход к программированию с мобильным стилем уточнения программ носит название
Введение одноименных методов над разными классами объектов носит название
Категория функций, используемая при организации управления вычислениями, носит название
Область применения формальных методов преобразования программ и процессов носит название