Примітивна програмна алгебра: загальний підхід до вирішення проблеми функціональної повноти
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...
Saved in:
| Date: | 2015 |
|---|---|
| Main Authors: | Yahanov, P. O., Redko, D. I., Redko, I. V., Zakharchenko, T. L. |
| Format: | Article |
| Language: | English |
| Published: |
The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"
2015
|
| Online Access: | http://journal.iasa.kpi.ua/article/view/59447 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | System research and information technologies |
Institution
System research and information technologiesSimilar Items
Примітивна програмна алгебра обчислюваних функцій на множині графів
by: Снігур, Н.М.
Published: (2009)
by: Снігур, Н.М.
Published: (2009)
Загальний підхід до моделювання та визначення залишкових напружень
by: Николишин, М. М.; Ін-т прикл. проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів, et al.
Published: (2016)
by: Николишин, М. М.; Ін-т прикл. проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів, et al.
Published: (2016)
Ризико-операційний підхід до вирішення проблеми оптимального випуску програмних систем
by: Мороз, Г.Б., et al.
Published: (2006)
by: Мороз, Г.Б., et al.
Published: (2006)
Біоміметичне трансамінування як загальний підхід до синтезу фторовмісних амінів та амінокислот
by: Wzorek, Alicja, et al.
Published: (2023)
by: Wzorek, Alicja, et al.
Published: (2023)
Primitive programing algebra: general approfch to a problem of functional completeness
by: P. O. Yahanov, et al.
Published: (2015)
by: P. O. Yahanov, et al.
Published: (2015)
Primitive programing algebra: general approfch to a problem of functional completeness
by: Yahanov, P.O., et al.
Published: (2015)
by: Yahanov, P.O., et al.
Published: (2015)
Расширенная алгебра алгоритмов
by: Акуловский, В.Г.
Published: (2007)
by: Акуловский, В.Г.
Published: (2007)
ЗАГАЛЬНИЙ ПІДХІД ДО ПОБУДОВИ ПЕРЕВІРЯЮЧИХ ТЕСТІВ ДЛЯ ПРОВЕДЕННЯ ДІАГНОСТУВАННЯ АНАЛОГОВИХ ПРИСТРОЇВ ДИНАМІЧНИМ МЕТОДОМ
by: Шкуліпа, П. А., et al.
Published: (2013)
by: Шкуліпа, П. А., et al.
Published: (2013)
Один підхід до вирішення проблеми універсального використання мови програмування OPENCL на різних GPU
by: Lavrenyuk, A.M., et al.
Published: (2015)
by: Lavrenyuk, A.M., et al.
Published: (2015)
Примітивна високозалізиста речовина в хондриті Кримка (LL3,1)
by: Семененко, В.П., et al.
Published: (2007)
by: Семененко, В.П., et al.
Published: (2007)
Любов як причетність до повноти буття (на матеріалі компаративного аналізу філософського і поетичного дискурсів)
by: Маринчак, В.А.
Published: (2011)
by: Маринчак, В.А.
Published: (2011)
НЕЧІТКИЙ ПІДХІД ДО ВИРІШЕННЯ ЗАДАЧІ ІДЕНТИФІКАЦІЇ КОЛЬОРОВИХ ВІДТІНКІВ
by: Роїк, О. М., et al.
Published: (2017)
by: Роїк, О. М., et al.
Published: (2017)
Кургани Донеччини: загальний стан, проблеми обліку та охорони
by: Дегерменджі, С.М.
Published: (2004)
by: Дегерменджі, С.М.
Published: (2004)
Вітчизняна наукова періодика: загальний аналіз, тенденції та проблеми
by: Мриглод, І.М., et al.
Published: (2013)
by: Мриглод, І.М., et al.
Published: (2013)
Визначення предмету – програмна інженерія
by: Лавріщева, К.М.
Published: (2008)
by: Лавріщева, К.М.
Published: (2008)
Нелинейный анализ и гомологическая алгебра
by: Малюта, Ю.М.
Published: (2003)
by: Малюта, Ю.М.
Published: (2003)
Задачи механики и компьютерная алгебра
by: Банщиков, А.В., et al.
Published: (2008)
by: Банщиков, А.В., et al.
Published: (2008)
Алгебра алгоритмов, базирующаяся на данных
by: Акуловский, В.Г.
Published: (2012)
by: Акуловский, В.Г.
Published: (2012)
Програмна платформа для наукових досліджень
by: Дорошенко, А.Ю., et al.
Published: (2007)
by: Дорошенко, А.Ю., et al.
Published: (2007)
Міжгалузевий підхід до вирішення проблем в галузі права інтелектуальної власності
by: Мельниченко, В.Р.
Published: (2011)
by: Мельниченко, В.Р.
Published: (2011)
Асимптотичний підхід до вирішення дискретних екстремальних задач з інтервальними даними
by: Perepelitsa, V. A., et al.
Published: (2019)
by: Perepelitsa, V. A., et al.
Published: (2019)
Редукційне концептування оракульних схем
by: Redko, Igor, et al.
Published: (2021)
by: Redko, Igor, et al.
Published: (2021)
Физика высоких энергий и гомологическая алгебра
by: Малюта, Ю.M., et al.
Published: (2008)
by: Малюта, Ю.M., et al.
Published: (2008)
Спосіб опису забрудненої території: програмна реалізація
by: Кряжич, О.О., et al.
Published: (2016)
by: Кряжич, О.О., et al.
Published: (2016)
Православно-католицькі взаємини у сучасній Україні: загальний дискурс і окремі проблеми
by: Юраш, А.
Published: (2005)
by: Юраш, А.
Published: (2005)
Незалежність аксіоматики Армстронга та алгебра функціональних залежностей
by: Буй, Д.Б., et al.
Published: (2015)
by: Буй, Д.Б., et al.
Published: (2015)
На шляху до вирішення проблеми "Semantic Web – Data Base"
by: Kislenko, Y. I.
Published: (2019)
by: Kislenko, Y. I.
Published: (2019)
Кібернетика, інформатика та програмна інженерія: аспекти розвитку
by: Лавріщева, К.М.
Published: (2010)
by: Лавріщева, К.М.
Published: (2010)
ХХ Загальний з’їзд польських істориків
by: Зашкільняк, Л.
Published: (2019)
by: Зашкільняк, Л.
Published: (2019)
Чи існує загальний еквівалент трансакційних витрат?
by: Ситник, Є.А.
Published: (2021)
by: Ситник, Є.А.
Published: (2021)
Структурний підхід до проблеми відтворення граматик
by: Ільман, В.М., et al.
Published: (2007)
by: Ільман, В.М., et al.
Published: (2007)
Новий підхід до вирішення задач управління режимами магістральних мереж об'єднаних енергетичних систем
by: Lenchevsky Ye.A., et al.
Published: (2001)
by: Lenchevsky Ye.A., et al.
Published: (2001)
Алгебра для описания данных в композиционных схемах алгоритмов
by: Акуловский, В.Г.
Published: (2012)
by: Акуловский, В.Г.
Published: (2012)
Алгебра алгоритмов с данными и прогнозирование вычислительного процесса
by: Дорошенко, А.Е., et al.
Published: (2011)
by: Дорошенко, А.Е., et al.
Published: (2011)
Emi execution service - ключ до забезпечення функціональної сумісності грід інфраструктур
by: Yurchenko, V. V., et al.
Published: (2014)
by: Yurchenko, V. V., et al.
Published: (2014)
Вимоги до забезпечення функціональної та інформаційної безпеки бездротових сенсорних мереж
by: Романов, В.О., et al.
Published: (2017)
by: Романов, В.О., et al.
Published: (2017)
Українське мистецтво другої половини XX століття: регіональні проблеми і загальний контекст (частина перша)
by: Скляренко, Г.
Published: (2009)
by: Скляренко, Г.
Published: (2009)
ПРОГРАМНА МОДЕЛЬ БАГАТОПОТОКОВОГО ПРОЦЕСОРА НА БАЗІ ГРАФІЧНИХ ПРИСКОРЕНЬ
by: Зименко, Андрей Евгеньевич, et al.
Published: (2008)
by: Зименко, Андрей Евгеньевич, et al.
Published: (2008)
Теоретико-ігровий підхід до проблеми безпеки мереж
by: Ігнатенко, О.П.
Published: (2017)
by: Ігнатенко, О.П.
Published: (2017)
R-конформная геометрия кривых на плоскости: алгебра дифференциальных инвариантов
by: Стрельцова, И.С.
Published: (2009)
by: Стрельцова, И.С.
Published: (2009)
Similar Items
-
Примітивна програмна алгебра обчислюваних функцій на множині графів
by: Снігур, Н.М.
Published: (2009) -
Загальний підхід до моделювання та визначення залишкових напружень
by: Николишин, М. М.; Ін-т прикл. проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів, et al.
Published: (2016) -
Ризико-операційний підхід до вирішення проблеми оптимального випуску програмних систем
by: Мороз, Г.Б., et al.
Published: (2006) -
Біоміметичне трансамінування як загальний підхід до синтезу фторовмісних амінів та амінокислот
by: Wzorek, Alicja, et al.
Published: (2023) -
Primitive programing algebra: general approfch to a problem of functional completeness
by: P. O. Yahanov, et al.
Published: (2015)