Зображення обкладинки

Примітивна програмна алгебра: загальний підхід до вирішення проблеми функціональної повноти

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.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2015
Онлайн доступ:	http://journal.iasa.kpi.ua/article/view/59447
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	System research and information technologies

Репозитарії

System research and information technologies

Схожі ресурси

Примітивна програмна алгебра обчислюваних функцій на множині графів
за авторством: Снігур, Н.М.
Опубліковано: (2009)

Загальний підхід до моделювання та визначення залишкових напружень
за авторством: Николишин, М. М.; Ін-т прикл. проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів, та інші
Опубліковано: (2016)

Ризико-операційний підхід до вирішення проблеми оптимального випуску програмних систем
за авторством: Мороз, Г.Б., та інші
Опубліковано: (2006)

Біоміметичне трансамінування як загальний підхід до синтезу фторовмісних амінів та амінокислот
за авторством: Wzorek, Alicja, та інші
Опубліковано: (2023)

Primitive programing algebra: general approfch to a problem of functional completeness
за авторством: P. O. Yahanov, та інші
Опубліковано: (2015)

Primitive programing algebra: general approfch to a problem of functional completeness
за авторством: Yahanov, P.O., та інші
Опубліковано: (2015)

Расширенная алгебра алгоритмов
за авторством: Акуловский, В.Г.
Опубліковано: (2007)

ЗАГАЛЬНИЙ ПІДХІД ДО ПОБУДОВИ ПЕРЕВІРЯЮЧИХ ТЕСТІВ ДЛЯ ПРОВЕДЕННЯ ДІАГНОСТУВАННЯ АНАЛОГОВИХ ПРИСТРОЇВ ДИНАМІЧНИМ МЕТОДОМ
за авторством: Шкуліпа, П. А., та інші
Опубліковано: (2013)

Один підхід до вирішення проблеми універсального використання мови програмування OPENCL на різних GPU
за авторством: Lavrenyuk, A.M., та інші
Опубліковано: (2015)

Примітивна високозалізиста речовина в хондриті Кримка (LL3,1)
за авторством: Семененко, В.П., та інші
Опубліковано: (2007)

Любов як причетність до повноти буття (на матеріалі компаративного аналізу філософського і поетичного дискурсів)
за авторством: Маринчак, В.А.
Опубліковано: (2011)

НЕЧІТКИЙ ПІДХІД ДО ВИРІШЕННЯ ЗАДАЧІ ІДЕНТИФІКАЦІЇ КОЛЬОРОВИХ ВІДТІНКІВ
за авторством: Роїк, О. М., та інші
Опубліковано: (2017)

Кургани Донеччини: загальний стан, проблеми обліку та охорони
за авторством: Дегерменджі, С.М.
Опубліковано: (2004)

Вітчизняна наукова періодика: загальний аналіз, тенденції та проблеми
за авторством: Мриглод, І.М., та інші
Опубліковано: (2013)

Визначення предмету – програмна інженерія
за авторством: Лавріщева, К.М.
Опубліковано: (2008)

Нелинейный анализ и гомологическая алгебра
за авторством: Малюта, Ю.М.
Опубліковано: (2003)

Задачи механики и компьютерная алгебра
за авторством: Банщиков, А.В., та інші
Опубліковано: (2008)

Алгебра алгоритмов, базирующаяся на данных
за авторством: Акуловский, В.Г.
Опубліковано: (2012)

Програмна платформа для наукових досліджень
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2007)

Міжгалузевий підхід до вирішення проблем в галузі права інтелектуальної власності
за авторством: Мельниченко, В.Р.
Опубліковано: (2011)

Асимптотичний підхід до вирішення дискретних екстремальних задач з інтервальними даними
за авторством: Perepelitsa, V. A., та інші
Опубліковано: (2019)

Редукційне концептування оракульних схем
за авторством: Redko, Igor, та інші
Опубліковано: (2021)

Физика высоких энергий и гомологическая алгебра
за авторством: Малюта, Ю.M., та інші
Опубліковано: (2008)

Спосіб опису забрудненої території: програмна реалізація
за авторством: Кряжич, О.О., та інші
Опубліковано: (2016)

Православно-католицькі взаємини у сучасній Україні: загальний дискурс і окремі проблеми
за авторством: Юраш, А.
Опубліковано: (2005)

Незалежність аксіоматики Армстронга та алгебра функціональних залежностей
за авторством: Буй, Д.Б., та інші
Опубліковано: (2015)

На шляху до вирішення проблеми "Semantic Web – Data Base"
за авторством: Kislenko, Y. I.
Опубліковано: (2019)

Кібернетика, інформатика та програмна інженерія: аспекти розвитку
за авторством: Лавріщева, К.М.
Опубліковано: (2010)

ХХ Загальний з’їзд польських істориків
за авторством: Зашкільняк, Л.
Опубліковано: (2019)

Чи існує загальний еквівалент трансакційних витрат?
за авторством: Ситник, Є.А.
Опубліковано: (2021)

Структурний підхід до проблеми відтворення граматик
за авторством: Ільман, В.М., та інші
Опубліковано: (2007)

Новий підхід до вирішення задач управління режимами магістральних мереж об'єднаних енергетичних систем
за авторством: Lenchevsky Ye.A., та інші
Опубліковано: (2001)

Алгебра для описания данных в композиционных схемах алгоритмов
за авторством: Акуловский, В.Г.
Опубліковано: (2012)

Алгебра алгоритмов с данными и прогнозирование вычислительного процесса
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2011)

Emi execution service - ключ до забезпечення функціональної сумісності грід інфраструктур
за авторством: Yurchenko, V. V., та інші
Опубліковано: (2014)

Вимоги до забезпечення функціональної та інформаційної безпеки бездротових сенсорних мереж
за авторством: Романов, В.О., та інші
Опубліковано: (2017)

Українське мистецтво другої половини XX століття: регіональні проблеми і загальний контекст (частина перша)
за авторством: Скляренко, Г.
Опубліковано: (2009)

ПРОГРАМНА МОДЕЛЬ БАГАТОПОТОКОВОГО ПРОЦЕСОРА НА БАЗІ ГРАФІЧНИХ ПРИСКОРЕНЬ
за авторством: Зименко, Андрей Евгеньевич, та інші
Опубліковано: (2008)

R-конформная геометрия кривых на плоскости: алгебра дифференциальных инвариантов
за авторством: Стрельцова, И.С.
Опубліковано: (2009)

Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ
за авторством: Мохница, А.С.
Опубліковано: (2008)