Программологические основания сущностной платформы

Доказываются тезисы экзистонности, компаундности, полиадности и полноты. Обосновывается их согласованность с принципом обратимости. Строятся программологические основания сущностной платформы. The thesises of existoneness, compoundeness, poliadeness and fullness are proved. The coordination of these...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2008
Автори: Редько, В.Н., Редько, И.В., Гришко, Н.В.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут програмних систем НАН України 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
Опис
Резюме:Доказываются тезисы экзистонности, компаундности, полиадности и полноты. Обосновывается их согласованность с принципом обратимости. Строятся программологические основания сущностной платформы. 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.
ISSN:1727-4907