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

• Datum: 2008
• Hauptverfasser: Редько, В.Н., Редько, И.В., Гришко, Н.В.
• Format: Artikel
• Sprache: Russian
• Veröffentlicht: Інститут програмних систем НАН України 2008
• Schlagworte: Теоретичні та методологічні основи програмування
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/1425
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Программологические основания сущностной платформы / В.Н. Редько, И.В. Редько, Н.В. Гришко // Пробл. програмув. — 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.