Primitive programing algebra: general approfch to a problem of functional completeness

• Veröffentlicht in: Системні дослідження та інформаційні технології
• Datum: 2015
• Hauptverfasser: Yahanov, P.O., Redko, D.I., Redko, I.V., Zakharchenko, T.L.
• Format: Artikel
• Sprache: Englisch
• Veröffentlicht: Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України 2015
• Schlagworte: Математичні методи, моделі, проблеми і технології дослідження складних систем
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/123561
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Primitive programing algebra: general approfch to a problem of functional completeness / P.O. Yahanov, D.I. Redko, I.V. Redko, T.L. Zakharchenko // Системні дослідження та інформаційні технології. — 2015. — № 4. — С. 83-96. — Бібліогр.: 21 назв. — англ.

The goal of the research is development of scientific foundations of programming problems solutions genesis. Investigations carried out are based on algebraic research methods of programs and compositional programming methods. Basis of the last ones consists of program algebras with special classes...