Экзистенциальный базис дескриптивных сред
Создается экзистенциальная платформа дескриптивных сред. На этой основе строятся модели информатико-технологических систем. Проводится прагматико-обусловленная типизация универсума компаундов. Вскрывается компаундная природа средств квантификации и суперпозиции функций. The existential platform of d...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2008
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/644 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Экзистенциальный базис дескриптивных сред / И.В. Редько // Пробл. програмув. — 2008. — N 2-3. — С. 15-24. — Бібліогр.: 10 назв. — рус. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862665216023592960 |
|---|---|
| author | Редько, И.В. |
| author_facet | Редько, И.В. |
| citation_txt | Экзистенциальный базис дескриптивных сред / И.В. Редько // Пробл. програмув. — 2008. — N 2-3. — С. 15-24. — Бібліогр.: 10 назв. — рус. |
| collection | DSpace DC |
| description | Создается экзистенциальная платформа дескриптивных сред. На этой основе строятся модели информатико-технологических систем. Проводится прагматико-обусловленная типизация универсума компаундов. Вскрывается компаундная природа средств квантификации и суперпозиции функций.
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.
|
| first_indexed | 2025-12-07T15:16:08Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-644 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T15:16:08Z |
| publishDate | 2008 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Редько, И.В. 2008-05-30T14:11:16Z 2008-05-30T14:11:16Z 2008 Экзистенциальный базис дескриптивных сред / И.В. Редько // Пробл. програмув. — 2008. — N 2-3. — С. 15-24. — Бібліогр.: 10 назв. — рус. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/644 681.3.06 Создается экзистенциальная платформа дескриптивных сред. На этой основе строятся модели информатико-технологических систем. Проводится прагматико-обусловленная типизация универсума компаундов. Вскрывается компаундная природа средств квантификации и суперпозиции функций. 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. ru Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Экзистенциальный базис дескриптивных сред The existential basis of the descriptional environments Article published earlier |
| spellingShingle | Экзистенциальный базис дескриптивных сред Редько, И.В. Теоретичні та методологічні основи програмування |
| title | Экзистенциальный базис дескриптивных сред |
| title_alt | The existential basis of the descriptional environments |
| title_full | Экзистенциальный базис дескриптивных сред |
| title_fullStr | Экзистенциальный базис дескриптивных сред |
| title_full_unstemmed | Экзистенциальный базис дескриптивных сред |
| title_short | Экзистенциальный базис дескриптивных сред |
| title_sort | экзистенциальный базис дескриптивных сред |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/644 |
| work_keys_str_mv | AT redʹkoiv ékzistencialʹnyibazisdeskriptivnyhsred AT redʹkoiv theexistentialbasisofthedescriptionalenvironments |