Cover Image

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

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...

Full description

Saved in:

Bibliographic Details
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 technologies

Similar Items

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

ЗАГАЛЬНИЙ ПІДХІД ДО ПОБУДОВИ ПЕРЕВІРЯЮЧИХ ТЕСТІВ ДЛЯ ПРОВЕДЕННЯ ДІАГНОСТУВАННЯ АНАЛОГОВИХ ПРИСТРОЇВ ДИНАМІЧНИМ МЕТОДОМ
by: Шкуліпа, П. А., et al.
Published: (2013)

НЕЧІТКИЙ ПІДХІД ДО ВИРІШЕННЯ ЗАДАЧІ ІДЕНТИФІКАЦІЇ КОЛЬОРОВИХ ВІДТІНКІВ
by: Роїк, О. М., et al.
Published: (2017)

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

Редукційне концептування оракульних схем
by: Redko, Igor, et al.
Published: (2021)

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

Методологія вирішення проблеми сталого розвитку Криму
by: Ivchenko, V. A.
Published: (2008)

ПРОГРАМНА МОДЕЛЬ БАГАТОПОТОКОВОГО ПРОЦЕСОРА НА БАЗІ ГРАФІЧНИХ ПРИСКОРЕНЬ
by: Зименко, Андрей Евгеньевич, et al.
Published: (2008)

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

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

АДМІНІСТРАТИВНИЙ АРЕШТ МАЙНА: ПРОБЛЕМИ І ШЛЯХИ ВИРІШЕННЯ
by: Zeldina, O.R.
Published: (2012)

АНАЛІТИЧНИЙ МЕТОД ФОРМУВАННЯ ІНТЕГРОВАНИХ ДИНАМІЧНИХ МОДЕЛЕЙ ТА ЇХ ПРОГРАМНА РЕАЛІЗАЦІЯ
by: Sytnik, Aleksandr Alekseevich
Published: (2012)

Апаратно-програмна реалізація системи збирання даних для імпульсного спектрометра ЯКР
by: Samila, A. P.
Published: (2017)

Проблеми процесу підтримки клієнтів та їх комплексне вирішення
by: Слободян, Р.В., et al.
Published: (2025)

ЗМІНА ПОДАТКОВОГО ЗАКОНОДАВСТВА: ПРОБЛЕМИ І ШЛЯХИ ЇХ ВИРІШЕННЯ
by: Zeldina, O.R.
Published: (2016)

Харчові відходи в індустрії гостинності: проблеми та шляхи вирішення
by: Седікова, І. О., et al.
Published: (2022)

ПРОГРАМНО-АПАРАТНЕ ВИРІШЕННЯ ПРОБЛЕМИ ВИЗНАЧЕННЯ ЦЕНТРІВ ДИНАМІЧНИХ ОБ’ЄКТІВ
by: Кожем'яко, В. П., et al.
Published: (2013)

ВИРОБНИЧО-ГОСПОДАРСЬКА ЕФЕКТИВНІСТЬ ПРОМИСЛОВОСТІ РЕГІОНІВ УКРАЇНИ: ПРОБЛЕМИ ТА СПОСОБИ ЇХ ВИРІШЕННЯ
by: Sozansky, L.I.
Published: (2017)

ПРОБЛЕМИ ЗАЙНЯТОСТІ НАСЕЛЕННЯ ТА ШЛЯХИ ЇХ ВИРІШЕННЯ В УМОВАХ РОЗВИТКУ РИНКОВИХ ВІДНОСИН
by: Kulyak, I.I.
Published: (2008)

Проблеми енергозабезпечення і шляхи їх вирішення в автономній Республіці Крим
by: Babenko G.A., et al.
Published: (2002)

Проблеми акустичного зондування свердловин та апарaтний комплекс для їхнього вирішення
by: Danylov, V. Ya., et al.
Published: (2017)

КІЛЬКІСНЕ ОЦІНЮВАННЯ ФУНКЦІОНАЛЬНОЇ ЕФЕКТИВНОСТІ МЕРЕЖЕВИХ СТРУКТУР ЗА АНАЛІЗОМ ЧУТЛИВОСТІ ОПТИМІЗАЦІЙНОЇ МОДЕЛІ ДО ЗОВНІШНІХ ВПЛИВІВ
by: Kuzmychov, Anatolii
Published: (2024)

РИБОГОСПОДАРСЬКИЙ КОМПЛЕКС ОДЕСЬКОГО РЕГІОНУ: СОЦІАЛЬНО-ТРУДОВІ ПРОБЛЕМИ, ПРИЧИНИ, ЩО ЇХ ОБУМОВЛЮЮТЬ, ШЛЯХИ ВИРІШЕННЯ
by: Pivovarchuk, I.D.
Published: (2011)

Відкрито-замкнені засади середовищ інтеграції. Частина I
by: Redko, I. V.
Published: (2010)

Екзистенційний базис сутнісних середовищ
by: Redko, I. V.
Published: (2008)

Дескриптивні аспекти системного підходу
by: Redko, I. V.
Published: (2019)

Новий підхід до вирішення задачі "Мінімізація сумарного зваженого запізнення при виконанні незалежних завдань з директивними строками на одному приладі"
by: Pavlov, A. A., et al.
Published: (2019)

Eco-energy potential of exploded quarries and risks of its use
by: Redko, Andrii
Published: (2025)

Загальний алгоритм визначення впливу економічних зрушень на базі балансних моделей
by: Карпець, Елеонора Петрівна, et al.
Published: (2017)

Проблеми ведення підготовчих робіт на вугільних шахтах України та напрями їх вирішення
by: Makarov V.M.
Published: (2004)

ШЛЯХИ ВИРІШЕННЯ ПРОБЛЕМИ ЦИРКОНІЮ В ПРОГРАМІ СТВОРЕННЯ ЯДЕРНО-ПАЛИВНОГО ЦИКЛУ В УКРАЇНІ
by: Ладохін, С. В.
Published: (2018)

ПРОБЛЕМИ ЕКСПЛУАТАЦІЇ СИСТЕМ ОПАЛЕННЯ ТА ПРОМИВКА ЯК ОДИН ІЗ СПОСОБІВ ВИРІШЕННЯ (ОГЛЯД)
by: Dolinskyi, A.А., et al.
Published: (2019)

Парцелярний аналіз структурно-функціональної організації ландшафтів лісового типу дендропарку “Тростянець”
by: Medvedev, V.A., et al.
Published: (2001)

ПРОБЛЕМИ ЕКСПЛУАТАЦІЙНОЇ НАДІЙНОСТІ ГАЗОВІДВІДНИХ ТРАКТІВ УСТАНОВОК СПАЛЮВАННЯ ТВЕРДИХ ПОБУТОВИХ ВІДХОДІВ ТА ШЛЯХИ ЇХ ВИРІШЕННЯ
by: Fialko, N., et al.
Published: (2025)

Загальний погляд на дискримінацію середньої ціни в умовах функціонування ринку електроенергії
by: Dobrovolsky V.K., et al.
Published: (2004)

ВПРОВАДЖЕННЯ ГАЛУЗЕВОГО ПІДХОДУ В ЗАГАЛЬНИЙ ПОРЯДОК УПРАВЛІННЯ ВИТРАТАМИ ЗАЛІЗНИЧНОГО КОМПЛЕКСУ РЕГІОНУ
by: Zova, V.A.
Published: (2012)

Процесологічні середовища системного анализу
by: Red'ko, I. V.
Published: (2019)

ОЦІНКИ ВИКИДІВ МЕТАНУ В НАФТОГАЗОВІЙ ГАЛУЗІ УКРАЇНИ: ПРОБЛЕМИ ТА СВІТОВИЙ ДОСВІД ЇХ ВИРІШЕННЯ
by: Leshchenko , Iryna
Published: (2021)

Математическая модель процесса избыточных измерений при непрерывном воздействии измеряемой физической величины на чувствительный элемент датчика
by: Redko, V. V.
Published: (2011)

КОМПЛЕКСНИЙ ПІДХІД ДО ОЦІНКИ КОНКУРЕНТОСПРОМОЖНОСТІ РЕГІОНУ
by: Chichkan, O.I.
Published: (2011)