Ациклічність та замкненість макрокомпозицій
Задачу експлікації проектування програмних систем розглянуто з точки зору сутнісної платформи. Обґрунтовано адекватність вибору ациклічних композицій як базовий засіб експлікації логіки будови проектів. Для ациклічних композицій встановлено замкненість відносно суперпозиції. Показано, що встановлена...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2012 |
| ISSN: | 1727-4907 |
| Main Authors: | Вінник, В.Ю., Парфірова, Т.С. |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2012
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/86582 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Ациклічність та замкненість макрокомпозицій / В.Ю. Вінник, Т.С. Парфірова // Проблеми програмування. — 2012. — № 2-3. — С. 18-24. — Бібліогр.: 10 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Программирование и интеллект
by: Мейтус, В.Ю.
Published: (2009)
by: Мейтус, В.Ю.
Published: (2009)
Аналіз систем нечіткої логіки для апроксимації нечітких функцій
by: Щегельський, Т.С., et al.
Published: (2012)
by: Щегельський, Т.С., et al.
Published: (2012)
Алгебри квазіарних та бі-квазіарних реляцій
by: Нікітченко, М.С., et al.
Published: (2016)
by: Нікітченко, М.С., et al.
Published: (2016)
Стабільність та монотонність програм щодо структурних трансформацій даних
by: Нікітченко, М.С., et al.
Published: (2010)
by: Нікітченко, М.С., et al.
Published: (2010)
Темпоральні процедури та алгоритми
by: Зубенко, В.В.
Published: (2006)
by: Зубенко, В.В.
Published: (2006)
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
by: Шкільняк, О.С., et al.
Published: (2017)
by: Шкільняк, О.С., et al.
Published: (2017)
Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики
by: Летичевський, О.О., et al.
Published: (2020)
by: Летичевський, О.О., et al.
Published: (2020)
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
by: Шкільняк, О.С.
Published: (2019)
by: Шкільняк, О.С.
Published: (2019)
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
by: Нікітченко, М.С., et al.
Published: (2020)
by: Нікітченко, М.С., et al.
Published: (2020)
Виникнення та інтерпретація тризначних логік Кліні
by: Шишацька, О.В.
Published: (2010)
by: Шишацька, О.В.
Published: (2010)
Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
by: Шкільняк, C.С.
Published: (2019)
by: Шкільняк, C.С.
Published: (2019)
Композиційно-номінативні логіки з непрямим іменуванням
by: Россада, Т.В., et al.
Published: (2012)
by: Россада, Т.В., et al.
Published: (2012)
Конструктори множин та мультимножин об’єктів
by: Терлецький, Д.О.
Published: (2014)
by: Терлецький, Д.О.
Published: (2014)
Кібернетика, інформатика та програмна інженерія: аспекти розвитку
by: Лавріщева, К.М.
Published: (2010)
by: Лавріщева, К.М.
Published: (2010)
Швидка або якісна розробка?
by: Панченко, Т.В.
Published: (2014)
by: Панченко, Т.В.
Published: (2014)
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
by: Панченко, Т.В.
Published: (2008)
by: Панченко, Т.В.
Published: (2008)
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
by: Новокшонов, А.К.
Published: (2016)
by: Новокшонов, А.К.
Published: (2016)
Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування
by: Буй, Д.Б., et al.
Published: (2010)
by: Буй, Д.Б., et al.
Published: (2010)
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
by: Нікітченко, М.С., et al.
Published: (2019)
by: Нікітченко, М.С., et al.
Published: (2019)
О выделении макроопераций из вычислительных процессов сортировки массивов данных
by: Паулин, О.Н., et al.
Published: (2016)
by: Паулин, О.Н., et al.
Published: (2016)
О построении клонов алгебр функциональных n-отношенеий
by: Захария, Л.М., et al.
Published: (2006)
by: Захария, Л.М., et al.
Published: (2006)
Аналітичний огляд підходів до інтеграції програмних систем
by: Дивак, Ю.А.
Published: (2021)
by: Дивак, Ю.А.
Published: (2021)
NP-трудность задач оптимизации коллективного преследования
by: Пашко, С.В.
Published: (2014)
by: Пашко, С.В.
Published: (2014)
Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами
by: Потиенко, С.В.
Published: (2008)
by: Потиенко, С.В.
Published: (2008)
Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
by: Крывый, С.Л., et al.
Published: (2008)
by: Крывый, С.Л., et al.
Published: (2008)
Мультимножества: обзор библиографии, построение решетки мультимножеств
by: Богатырева, Ю.А.
Published: (2010)
by: Богатырева, Ю.А.
Published: (2010)
Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
by: Шкільняк, С.С.
Published: (2012)
by: Шкільняк, С.С.
Published: (2012)
Секвенційні числення композиційно-номінотивних логік квазіарних предикатів
by: Шкільняк, С.С.
Published: (2012)
by: Шкільняк, С.С.
Published: (2012)
Логіки квазіарних предикатів кванторно-екваційного рівня
by: Нікітченко, М.С., et al.
Published: (2012)
by: Нікітченко, М.С., et al.
Published: (2012)
Спектр секвенційних числень першопорядкових композиційно-номінативних логік
by: Шкільняк, С.С.
Published: (2013)
by: Шкільняк, С.С.
Published: (2013)
Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
by: Шкільняк, С.С.
Published: (2011)
by: Шкільняк, С.С.
Published: (2011)
Відношення логічного наслідку в композиційно-номінативних логіках
by: Шкільняк, С.С.
Published: (2010)
by: Шкільняк, С.С.
Published: (2010)
Ієрархія композиційно-номінативних логік
by: Нікітченко, М.С., et al.
Published: (2004)
by: Нікітченко, М.С., et al.
Published: (2004)
Інтенсіонально-орієнтований підхід до побудови логічних систем
by: Нікітченко, М.С., et al.
Published: (2007)
by: Нікітченко, М.С., et al.
Published: (2007)
Композиційно-номінативні логіки над ієрархічними даними
by: Нікітченко, М.С., et al.
Published: (2010)
by: Нікітченко, М.С., et al.
Published: (2010)
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
by: Нікітченко, М.С., et al.
Published: (2014)
by: Нікітченко, М.С., et al.
Published: (2014)
Чисті першопорядкові логіки квазіарних предикатів
by: Нікітченко, М.С., et al.
Published: (2016)
by: Нікітченко, М.С., et al.
Published: (2016)
Логіки загальних недетермінованих предикатів: cемантичні аспекти
by: Нікітченко, М.С., et al.
Published: (2018)
by: Нікітченко, М.С., et al.
Published: (2018)
Семантичні властивості п’ятизначних логік
by: Нікітченко, М.С., et al.
Published: (2018)
by: Нікітченко, М.С., et al.
Published: (2018)
Формалізований метод проектування застосувань в технології GPGPU
by: Кривий, С.Л., et al.
Published: (2018)
by: Кривий, С.Л., et al.
Published: (2018)
Similar Items
-
Программирование и интеллект
by: Мейтус, В.Ю.
Published: (2009) -
Аналіз систем нечіткої логіки для апроксимації нечітких функцій
by: Щегельський, Т.С., et al.
Published: (2012) -
Алгебри квазіарних та бі-квазіарних реляцій
by: Нікітченко, М.С., et al.
Published: (2016) -
Стабільність та монотонність програм щодо структурних трансформацій даних
by: Нікітченко, М.С., et al.
Published: (2010) -
Темпоральні процедури та алгоритми
by: Зубенко, В.В.
Published: (2006)