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