Примітивна програмна алгебра: загальний підхід до вирішення проблеми функціональної повноти
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: | https://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 |
| Download file: | |
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: Мороз, Г.Б., 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: 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: Lev, B.I.
Published: (2025)
by: Lev, B.I.
Published: (2025)
Расширенная алгебра алгоритмов
by: Акуловский, В.Г.
Published: (2007)
by: Акуловский, В.Г.
Published: (2007)
ЗАГАЛЬНИЙ ПІДХІД ДО ПОБУДОВИ ПЕРЕВІРЯЮЧИХ ТЕСТІВ ДЛЯ ПРОВЕДЕННЯ ДІАГНОСТУВАННЯ АНАЛОГОВИХ ПРИСТРОЇВ ДИНАМІЧНИМ МЕТОДОМ
by: Шкуліпа, П. А., et al.
Published: (2013)
by: Шкуліпа, П. А., et al.
Published: (2013)
Мультикультуралізм і проблеми функціональної багатомовності в Криму
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: (2004)
by: Дегерменджі, С.М.
Published: (2004)
Вітчизняна наукова періодика: загальний аналіз, тенденції та проблеми
by: Мриглод, І.М., et al.
Published: (2013)
by: Мриглод, І.М., et al.
Published: (2013)
Любов як причетність до повноти буття (на матеріалі компаративного аналізу філософського і поетичного дискурсів)
by: Маринчак, В.А.
Published: (2011)
by: Маринчак, В.А.
Published: (2011)
Визначення предмету – програмна інженерія
by: Лавріщева, К.М.
Published: (2008)
by: Лавріщева, К.М.
Published: (2008)
Задачи механики и компьютерная алгебра
by: Банщиков, А.В., et al.
Published: (2008)
by: Банщиков, А.В., et al.
Published: (2008)
Алгебра алгоритмов, базирующаяся на данных
by: Акуловский, В.Г.
Published: (2012)
by: Акуловский, В.Г.
Published: (2012)
Нелинейный анализ и гомологическая алгебра
by: Малюта, Ю.М.
Published: (2003)
by: Малюта, Ю.М.
Published: (2003)
Редукційне концептування оракульних схем
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: Мельниченко, В.Р.
Published: (2011)
by: Мельниченко, В.Р.
Published: (2011)
Асимптотичний підхід до вирішення дискретних екстремальних задач з інтервальними даними
by: Perepelitsa, V. A., et al.
Published: (2019)
by: Perepelitsa, V. A., et al.
Published: (2019)
Гравет Подністров’я. Загальний огляд
by: Борзіяк, I.О., et al.
Published: (1998)
by: Борзіяк, I.О., et al.
Published: (1998)
Физика высоких энергий и гомологическая алгебра
by: Малюта, Ю.M., et al.
Published: (2008)
by: Малюта, Ю.M., et al.
Published: (2008)
Спосіб опису забрудненої території: програмна реалізація
by: Кряжич, О.О., et al.
Published: (2016)
by: Кряжич, О.О., et al.
Published: (2016)
Програмна підтримка синхронізації мультимедійних матеріалів лекції
by: Глибовець, А.М., et al.
Published: (2008)
by: Глибовець, А.М., et al.
Published: (2008)
Православно-католицькі взаємини у сучасній Україні: загальний дискурс і окремі проблеми
by: Юраш, А.
Published: (2005)
by: Юраш, А.
Published: (2005)
Незалежність аксіоматики Армстронга та алгебра функціональних залежностей
by: Буй, Д.Б., et al.
Published: (2015)
by: Буй, Д.Б., et al.
Published: (2015)
Кібернетика, інформатика та програмна інженерія: аспекти розвитку
by: Лавріщева, К.М.
Published: (2010)
by: Лавріщева, К.М.
Published: (2010)
ХХ Загальний з’їзд польських істориків
by: Зашкільняк, Л.
Published: (2019)
by: Зашкільняк, Л.
Published: (2019)
Чи існує загальний еквівалент трансакційних витрат?
by: Ситник, Є.А.
Published: (2021)
by: Ситник, Є.А.
Published: (2021)
Соціоекономічні аспекти вирішення житлової проблеми
by: Логачова, Л.М.
Published: (2009)
by: Логачова, Л.М.
Published: (2009)
Структурний підхід до проблеми відтворення граматик
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: Іванов, В.Г., et al.
Published: (2019)
by: Іванов, В.Г., et al.
Published: (2019)
Алгебра алгоритмов с данными и прогнозирование вычислительного процесса
by: Дорошенко, А.Е., et al.
Published: (2011)
by: Дорошенко, А.Е., et al.
Published: (2011)
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: Мороз, Г.Б., et al.
Published: (2006) -
Біоміметичне трансамінування як загальний підхід до синтезу фторовмісних амінів та амінокислот
by: Wzorek, Alicja, et al.
Published: (2023)