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

• Date: 2008
• Main Authors: Редько, В.Н., Редько, И.В., Гришко, Н.В.
• Format: Article
• Language: Russian
• Published: Інститут програмних систем НАН України 2008
• Subjects: Теоретичні та методологічні основи програмування
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/1425
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Программологические основания сущностной платформы / В.Н. Редько, И.В. Редько, Н.В. Гришко // Пробл. програмув. — 2008. — N 2-3. — С. 75-83. — Бібліогр.: 21 назв. — рус.

Доказываются тезисы экзистонности, компаундности, полиадности и полноты. Обосновывается их согласованность с принципом обратимости. Строятся программологические основания сущностной платформы. 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.