Примітивна програмна алгебра: загальний підхід до вирішення проблеми функціональної повноти
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)
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)
Біоміметичне трансамінування як загальний підхід до синтезу фторовмісних амінів та амінокислот
by: Wzorek, Alicja, et al.
Published: (2023)
by: Wzorek, Alicja, et al.
Published: (2023)
Ризико-операційний підхід до вирішення проблеми оптимального випуску програмних систем
by: Мороз, Г.Б., et al.
Published: (2006)
by: Мороз, Г.Б., et al.
Published: (2006)
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)
Примітивна високозалізиста речовина в хондриті Кримка (LL3,1)
by: Семененко, В.П., et al.
Published: (2007)
by: Семененко, В.П., et al.
Published: (2007)
До проблеми функціональної та типологічної інтерпретації вкладишів кукрецького типу
by: Сапожникова, Г.В., et al.
Published: (1998)
by: Сапожникова, Г.В., et al.
Published: (1998)
Один підхід до вирішення проблеми універсального використання мови програмування OPENCL на різних GPU
by: Lavrenyuk, A.M., et al.
Published: (2015)
by: Lavrenyuk, A.M., et al.
Published: (2015)
ЗАГАЛЬНИЙ ПІДХІД ДО ПОБУДОВИ ПЕРЕВІРЯЮЧИХ ТЕСТІВ ДЛЯ ПРОВЕДЕННЯ ДІАГНОСТУВАННЯ АНАЛОГОВИХ ПРИСТРОЇВ ДИНАМІЧНИМ МЕТОДОМ
by: Шкуліпа, П. А., et al.
Published: (2013)
by: Шкуліпа, П. А., et al.
Published: (2013)
Алгебра Кліфорда як шлях до квантової гравітації
by: Lev, B.I.
Published: (2025)
by: Lev, B.I.
Published: (2025)
Расширенная алгебра алгоритмов
by: Акуловский, В.Г.
Published: (2007)
by: Акуловский, В.Г.
Published: (2007)
Мультикультуралізм і проблеми функціональної багатомовності в Криму
by: Попович, Н.Г.
Published: (2002)
by: Попович, Н.Г.
Published: (2002)
Один підхід до вирішення проблеми універсального використання мови програмування OPENCL на різних GPU
by: Лавренюк, А.М., et al.
Published: (2012)
by: Лавренюк, А.М., et al.
Published: (2012)
НЕЧІТКИЙ ПІДХІД ДО ВИРІШЕННЯ ЗАДАЧІ ІДЕНТИФІКАЦІЇ КОЛЬОРОВИХ ВІДТІНКІВ
by: Роїк, О. М., et al.
Published: (2017)
by: Роїк, О. М., et al.
Published: (2017)
Любов як причетність до повноти буття (на матеріалі компаративного аналізу філософського і поетичного дискурсів)
by: Маринчак, В.А.
Published: (2011)
by: Маринчак, В.А.
Published: (2011)
Кургани Донеччини: загальний стан, проблеми обліку та охорони
by: Дегерменджі, С.М.
Published: (2004)
by: Дегерменджі, С.М.
Published: (2004)
Вітчизняна наукова періодика: загальний аналіз, тенденції та проблеми
by: Мриглод, І.М., et al.
Published: (2013)
by: Мриглод, І.М., et al.
Published: (2013)
Визначення предмету – програмна інженерія
by: Лавріщева, К.М.
Published: (2008)
by: Лавріщева, К.М.
Published: (2008)
Редукційне концептування оракульних схем
by: Redko, Igor, et al.
Published: (2021)
by: Redko, Igor, et al.
Published: (2021)
Програмна платформа для наукових досліджень
by: Дорошенко, А.Ю., et al.
Published: (2007)
by: Дорошенко, А.Ю., et al.
Published: (2007)
Задачи механики и компьютерная алгебра
by: Банщиков, А.В., et al.
Published: (2008)
by: Банщиков, А.В., et al.
Published: (2008)
Алгебра алгоритмов, базирующаяся на данных
by: Акуловский, В.Г.
Published: (2012)
by: Акуловский, В.Г.
Published: (2012)
Нелинейный анализ и гомологическая алгебра
by: Малюта, Ю.М.
Published: (2003)
by: Малюта, Ю.М.
Published: (2003)
Асимптотичний підхід до вирішення дискретних екстремальних задач з інтервальними даними
by: Perepelitsa, V. A., et al.
Published: (2019)
by: Perepelitsa, V. A., et al.
Published: (2019)
Міжгалузевий підхід до вирішення проблем в галузі права інтелектуальної власності
by: Мельниченко, В.Р.
Published: (2011)
by: Мельниченко, В.Р.
Published: (2011)
Гравет Подністров’я. Загальний огляд
by: Борзіяк, I.О., et al.
Published: (1998)
by: Борзіяк, I.О., et al.
Published: (1998)
Спосіб опису забрудненої території: програмна реалізація
by: Кряжич, О.О., et al.
Published: (2016)
by: Кряжич, О.О., et al.
Published: (2016)
Физика высоких энергий и гомологическая алгебра
by: Малюта, Ю.M., et al.
Published: (2008)
by: Малюта, Ю.M., et al.
Published: (2008)
Програмна підтримка синхронізації мультимедійних матеріалів лекції
by: Глибовець, А.М., et al.
Published: (2008)
by: Глибовець, А.М., et al.
Published: (2008)
Православно-католицькі взаємини у сучасній Україні: загальний дискурс і окремі проблеми
by: Юраш, А.
Published: (2005)
by: Юраш, А.
Published: (2005)
На шляху до вирішення проблеми "Semantic Web – Data Base"
by: Kislenko, Y. I.
Published: (2019)
by: Kislenko, Y. I.
Published: (2019)
Кібернетика, інформатика та програмна інженерія: аспекти розвитку
by: Лавріщева, К.М.
Published: (2010)
by: Лавріщева, К.М.
Published: (2010)
Незалежність аксіоматики Армстронга та алгебра функціональних залежностей
by: Буй, Д.Б., et al.
Published: (2015)
by: Буй, Д.Б., et al.
Published: (2015)
Теоретико-методичні аспекти концепції забезпечення необхідного рівня повноти безпеки автоматизованих систем управління об'єктами підвищеної небезпеки
by: Іванов, В.Г., et al.
Published: (2019)
by: Іванов, В.Г., et al.
Published: (2019)
ХХ Загальний з’їзд польських істориків
by: Зашкільняк, Л.
Published: (2019)
by: Зашкільняк, Л.
Published: (2019)
Чи існує загальний еквівалент трансакційних витрат?
by: Ситник, Є.А.
Published: (2021)
by: Ситник, Є.А.
Published: (2021)
Новий підхід до вирішення задач управління режимами магістральних мереж об'єднаних енергетичних систем
by: Lenchevsky Ye.A., et al.
Published: (2001)
by: Lenchevsky Ye.A., et al.
Published: (2001)
Структурний підхід до проблеми відтворення граматик
by: Ільман, В.М., et al.
Published: (2007)
by: Ільман, В.М., et al.
Published: (2007)
Соціоекономічні аспекти вирішення житлової проблеми
by: Логачова, Л.М.
Published: (2009)
by: Логачова, Л.М.
Published: (2009)
Similar Items
-
Примітивна програмна алгебра обчислюваних функцій на множині графів
by: Снігур, Н.М.
Published: (2009) -
Загальний підхід до моделювання та визначення залишкових напружень
by: Николишин, М. М.; Ін-т прикл. проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів, et al.
Published: (2016) -
Primitive programing algebra: general approfch to a problem of functional completeness
by: P. O. Yahanov, et al.
Published: (2015) -
Біоміметичне трансамінування як загальний підхід до синтезу фторовмісних амінів та амінокислот
by: Wzorek, Alicja, et al.
Published: (2023) -
Ризико-операційний підхід до вирішення проблеми оптимального випуску програмних систем
by: Мороз, Г.Б., et al.
Published: (2006)