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

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

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)

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

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

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

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

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

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

До проблеми функціональної та типологічної інтерпретації вкладишів кукрецького типу
за авторством: Сапожникова, Г.В., та інші
Опубліковано: (1998)

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

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

Мультикультуралізм і проблеми функціональної багатомовності в Криму
за авторством: Попович, Н.Г.
Опубліковано: (2002)

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

Один підхід до вирішення проблеми універсального використання мови програмування OPENCL на різних GPU
за авторством: Лавренюк, А.М., та інші
Опубліковано: (2012)

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

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

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

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

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

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

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

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

Гравет Подністров’я. Загальний огляд
за авторством: Борзіяк, I.О., та інші
Опубліковано: (1998)

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

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

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

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

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

Програмна підтримка синхронізації мультимедійних матеріалів лекції
за авторством: Глибовець, А.М., та інші
Опубліковано: (2008)

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

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

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

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

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

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

Теоретико-методичні аспекти концепції забезпечення необхідного рівня повноти безпеки автоматизованих систем управління об'єктами підвищеної небезпеки
за авторством: Іванов, В.Г., та інші
Опубліковано: (2019)

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

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

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

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