Primitive programing algebra: general approfch to a problem of functional completeness
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...
Збережено в:
Дата: | 2015 |
---|---|
Автори: | Yahanov, P.O., Redko, D.I., Redko, I.V., Zakharchenko, T.L. |
Формат: | Стаття |
Мова: | English |
Опубліковано: |
Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
2015
|
Назва видання: | Системні дослідження та інформаційні технології |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/123561 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | 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 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Automatic feedback control for one class of contact piezoelectric problems
за авторством: Zgurovsky, M.Z., та інші
Опубліковано: (2014) -
Практическое применение количественных методов прогнозирования
за авторством: Будаев, П.В.
Опубліковано: (2009) -
Моделирование модульных систем с применением дискретной теории паттернов
за авторством: Коваленко, И.И., та інші
Опубліковано: (2009) -
Исследование условий идентифицируемости при итеративной идентификации дискретных стационарных систем
за авторством: Губарев, В.Ф., та інші
Опубліковано: (2009) -
Построение многомерной полиномиальной регрессии. Активный експеримент
за авторством: Павлов, А.А., та інші
Опубліковано: (2009)