Экзистенциальный базис дескриптивных сред
Завантаження...
Дата
Автори
Назва журналу
Номер ISSN
Назва тому
Видавець
Інститут програмних систем НАН України
Анотація
Создается экзистенциальная платформа дескриптивных сред. На этой основе строятся модели информатико-технологических систем. Проводится прагматико-обусловленная типизация универсума компаундов. Вскрывается компаундная природа средств квантификации и суперпозиции функций.
The existential platform of descriptive environments is created. On such basis the intensional model of the essential platform is being built and pragmatical-conditioned typification of the universal set of the compounds is being hold. The compaundeness sense of the devices of quantification and superposition of functions is being explained.
The existential platform of descriptive environments is created. On such basis the intensional model of the essential platform is being built and pragmatical-conditioned typification of the universal set of the compounds is being hold. The compaundeness sense of the devices of quantification and superposition of functions is being explained.
Опис
Теми
Теоретичні та методологічні основи програмування
Цитування
Экзистенциальный базис дескриптивных сред / И.В. Редько // Пробл. програмув. — 2008. — N 2-3. — С. 15-24. — Бібліогр.: 10 назв. — рус.