Программологические основания сущностной платформы
Доказываются тезисы экзистонности, компаундности, полиадности и полноты. Обосновывается их согласованность с принципом обратимости. Строятся программологические основания сущностной платформы. The thesises of existoneness, compoundeness, poliadeness and fullness are proved. The coordination of these...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2008
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/1425 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Программологические основания сущностной платформы / В.Н. Редько, И.В. Редько, Н.В. Гришко // Пробл. програмув. — 2008. — N 2-3. — С. 75-83. — Бібліогр.: 21 назв. — рус. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862583678404657152 |
|---|---|
| author | Редько, В.Н. Редько, И.В. Гришко, Н.В. |
| author_facet | Редько, В.Н. Редько, И.В. Гришко, Н.В. |
| citation_txt | Программологические основания сущностной платформы / В.Н. Редько, И.В. Редько, Н.В. Гришко // Пробл. програмув. — 2008. — N 2-3. — С. 75-83. — Бібліогр.: 21 назв. — рус. |
| collection | DSpace DC |
| description | Доказываются тезисы экзистонности, компаундности, полиадности и полноты. Обосновывается их согласованность с принципом обратимости. Строятся программологические основания сущностной платформы.
The thesises of existoneness, compoundeness, poliadeness and fullness are proved. The coordination of these thesises with the principle of reversibility is argued. Programological foundations of the essential platform are created.
|
| first_indexed | 2025-11-27T00:42:06Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1425 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-11-27T00:42:06Z |
| publishDate | 2008 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Редько, В.Н. Редько, И.В. Гришко, Н.В. 2008-07-30T15:46:09Z 2008-07-30T15:46:09Z 2008 Программологические основания сущностной платформы / В.Н. Редько, И.В. Редько, Н.В. Гришко // Пробл. програмув. — 2008. — N 2-3. — С. 75-83. — Бібліогр.: 21 назв. — рус. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1425 681.3.06 Доказываются тезисы экзистонности, компаундности, полиадности и полноты. Обосновывается их согласованность с принципом обратимости. Строятся программологические основания сущностной платформы. The thesises of existoneness, compoundeness, poliadeness and fullness are proved. The coordination of these thesises with the principle of reversibility is argued. Programological foundations of the essential platform are created. ru Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Программологические основания сущностной платформы Programological foundations of the essential platform Article published earlier |
| spellingShingle | Программологические основания сущностной платформы Редько, В.Н. Редько, И.В. Гришко, Н.В. Теоретичні та методологічні основи програмування |
| title | Программологические основания сущностной платформы |
| title_alt | Programological foundations of the essential platform |
| title_full | Программологические основания сущностной платформы |
| title_fullStr | Программологические основания сущностной платформы |
| title_full_unstemmed | Программологические основания сущностной платформы |
| title_short | Программологические основания сущностной платформы |
| title_sort | программологические основания сущностной платформы |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1425 |
| work_keys_str_mv | AT redʹkovn programmologičeskieosnovaniâsuŝnostnoiplatformy AT redʹkoiv programmologičeskieosnovaniâsuŝnostnoiplatformy AT griškonv programmologičeskieosnovaniâsuŝnostnoiplatformy AT redʹkovn programologicalfoundationsoftheessentialplatform AT redʹkoiv programologicalfoundationsoftheessentialplatform AT griškonv programologicalfoundationsoftheessentialplatform |