Экзистенциальный базис дескриптивных сред
Создается экзистенциальная платформа дескриптивных сред. На этой основе строятся модели информатико-технологических систем. Проводится прагматико-обусловленная типизация универсума компаундов. Вскрывается компаундная природа средств квантификации и суперпозиции функций....
Збережено в:
| Дата: | 2008 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут програмних систем НАН України
2008
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.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| id |
irk-123456789-644 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-6442008-06-02T12:00:13Z Экзистенциальный базис дескриптивных сред Редько, И.В. Теоретичні та методологічні основи програмування Создается экзистенциальная платформа дескриптивных сред. На этой основе строятся модели информатико-технологических систем. Проводится прагматико-обусловленная типизация универсума компаундов. Вскрывается компаундная природа средств квантификации и суперпозиции функций. 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 Article Экзистенциальный базис дескриптивных сред / И.В. Редько // Пробл. програмув. — 2008. — N 2-3. — С. 15-24. — Бібліогр.: 10 назв. — рус. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/644 681.3.06 ru Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування |
| spellingShingle |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Редько, И.В. Экзистенциальный базис дескриптивных сред |
| description |
Создается экзистенциальная платформа дескриптивных сред. На этой основе строятся модели информатико-технологических систем. Проводится прагматико-обусловленная типизация универсума компаундов. Вскрывается компаундная природа средств квантификации и суперпозиции функций. |
| format |
Article |
| author |
Редько, И.В. |
| author_facet |
Редько, И.В. |
| author_sort |
Редько, И.В. |
| title |
Экзистенциальный базис дескриптивных сред |
| title_short |
Экзистенциальный базис дескриптивных сред |
| title_full |
Экзистенциальный базис дескриптивных сред |
| title_fullStr |
Экзистенциальный базис дескриптивных сред |
| title_full_unstemmed |
Экзистенциальный базис дескриптивных сред |
| title_sort |
экзистенциальный базис дескриптивных сред |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2008 |
| topic_facet |
Теоретичні та методологічні основи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/644 |
| citation_txt |
Экзистенциальный базис дескриптивных сред / И.В. Редько // Пробл. програмув. — 2008. — N 2-3. — С. 15-24. — Бібліогр.: 10 назв. — рус. |
| work_keys_str_mv |
AT redʹkoiv ékzistencialʹnyjbazisdeskriptivnyhsred |
| first_indexed |
2023-03-24T08:19:31Z |
| last_indexed |
2023-03-24T08:19:31Z |
| _version_ |
1796138819984031744 |