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

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

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

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

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

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

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

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

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

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

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

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

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

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

АДМІНІСТРАТИВНИЙ АРЕШТ МАЙНА: ПРОБЛЕМИ І ШЛЯХИ ВИРІШЕННЯ
за авторством: Zeldina, O.R.
Опубліковано: (2012)

АНАЛІТИЧНИЙ МЕТОД ФОРМУВАННЯ ІНТЕГРОВАНИХ ДИНАМІЧНИХ МОДЕЛЕЙ ТА ЇХ ПРОГРАМНА РЕАЛІЗАЦІЯ
за авторством: Sytnik, Aleksandr Alekseevich
Опубліковано: (2012)

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

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

ЗМІНА ПОДАТКОВОГО ЗАКОНОДАВСТВА: ПРОБЛЕМИ І ШЛЯХИ ЇХ ВИРІШЕННЯ
за авторством: Zeldina, O.R.
Опубліковано: (2016)

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

ПРОГРАМНО-АПАРАТНЕ ВИРІШЕННЯ ПРОБЛЕМИ ВИЗНАЧЕННЯ ЦЕНТРІВ ДИНАМІЧНИХ ОБ’ЄКТІВ
за авторством: Кожем'яко, В. П., та інші
Опубліковано: (2013)

ВИРОБНИЧО-ГОСПОДАРСЬКА ЕФЕКТИВНІСТЬ ПРОМИСЛОВОСТІ РЕГІОНІВ УКРАЇНИ: ПРОБЛЕМИ ТА СПОСОБИ ЇХ ВИРІШЕННЯ
за авторством: Sozansky, L.I.
Опубліковано: (2017)

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

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

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

КІЛЬКІСНЕ ОЦІНЮВАННЯ ФУНКЦІОНАЛЬНОЇ ЕФЕКТИВНОСТІ МЕРЕЖЕВИХ СТРУКТУР ЗА АНАЛІЗОМ ЧУТЛИВОСТІ ОПТИМІЗАЦІЙНОЇ МОДЕЛІ ДО ЗОВНІШНІХ ВПЛИВІВ
за авторством: Kuzmychov, Anatolii
Опубліковано: (2024)

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

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

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

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

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

Eco-energy potential of exploded quarries and risks of its use
за авторством: Redko, Andrii
Опубліковано: (2025)

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

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

ШЛЯХИ ВИРІШЕННЯ ПРОБЛЕМИ ЦИРКОНІЮ В ПРОГРАМІ СТВОРЕННЯ ЯДЕРНО-ПАЛИВНОГО ЦИКЛУ В УКРАЇНІ
за авторством: Ладохін, С. В.
Опубліковано: (2018)

ПРОБЛЕМИ ЕКСПЛУАТАЦІЇ СИСТЕМ ОПАЛЕННЯ ТА ПРОМИВКА ЯК ОДИН ІЗ СПОСОБІВ ВИРІШЕННЯ (ОГЛЯД)
за авторством: Dolinskyi, A.А., та інші
Опубліковано: (2019)

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

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

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

ВПРОВАДЖЕННЯ ГАЛУЗЕВОГО ПІДХОДУ В ЗАГАЛЬНИЙ ПОРЯДОК УПРАВЛІННЯ ВИТРАТАМИ ЗАЛІЗНИЧНОГО КОМПЛЕКСУ РЕГІОНУ
за авторством: Zova, V.A.
Опубліковано: (2012)

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

ОЦІНКИ ВИКИДІВ МЕТАНУ В НАФТОГАЗОВІЙ ГАЛУЗІ УКРАЇНИ: ПРОБЛЕМИ ТА СВІТОВИЙ ДОСВІД ЇХ ВИРІШЕННЯ
за авторством: Leshchenko , Iryna
Опубліковано: (2021)

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

КОМПЛЕКСНИЙ ПІДХІД ДО ОЦІНКИ КОНКУРЕНТОСПРОМОЖНОСТІ РЕГІОНУ
за авторством: Chichkan, O.I.
Опубліковано: (2011)