Buchumschlag

Алгебри загальних недетермінованих предикатів

Запропоновано та досліджено логіки загальних недетермінованих квазіарних предикатів – GND-предикатів. Такі предикати є узагальненням часткових неоднозначних предикатів реляційного типу. Основна увага приділена побудові композиційних алгебр GND-предикатів. Виділено різновиди GND-предикатів, показано...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Проблеми програмування
Datum:	2018
Hauptverfasser:	Нікітченко, М.С., Шкільняк, О.С., Шкільняк, C.С.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Інститут програмних систем НАН України 2018
Schlagworte:	Теоретичні та методологічні основи програмування
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/144561
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Алгебри загальних недетермінованих предикатів / М.С. Нікітченко, О.С. Шкільняк, C.С. Шкільняк // Проблеми програмування. — 2018. — № 1. — С. 5-21. — Бібліогр.: 8 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
von: Шкільняк, О.С.
Veröffentlicht: (2019)

Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2019)

Відношення логічного наслідку в логіках квазіарних предикатів
von: Шкільняк, О.С.
Veröffentlicht: (2016)

Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення
von: Шкільняк, О.С.
Veröffentlicht: (2019)

Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
von: Шкільняк, С.С.
Veröffentlicht: (2012)

Секвенційні числення композиційно-номінотивних логік квазіарних предикатів
von: Шкільняк, С.С.
Veröffentlicht: (2012)

Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю
von: Шкільняк, О.С., et al.
Veröffentlicht: (2022)

Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
von: Шкільняк, С.С.
Veröffentlicht: (2011)

7-значнi логіки та логіки загальних недетермінованих предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)

Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
von: Шкільняк, О.С., et al.
Veröffentlicht: (2017)

Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
von: Нікітченко, М.С., et al.
Veröffentlicht: (2014)

Композиційно-номінативні логіки над ієрархічними даними
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)

Інтенсіонально-орієнтований підхід до побудови логічних систем
von: Нікітченко, М.С., et al.
Veröffentlicht: (2007)

Ієрархія композиційно-номінативних логік
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)

Композиційно-номінативні модальні логіки функціонально-екваційного рівня
von: Шкільняк, О.С.
Veröffentlicht: (2010)

Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня
von: Шкільняк, О.С.
Veröffentlicht: (2011)

Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
von: Шкільняк, C.С.
Veröffentlicht: (2019)

Спектр секвенційних числень першопорядкових композиційно-номінативних логік
von: Шкільняк, С.С.
Veröffentlicht: (2013)

Композиційно-номінативні логіки з непрямим іменуванням
von: Россада, Т.В., et al.
Veröffentlicht: (2012)

Композиційно-номінативні логіки безкванторних рівнів
von: Шкільняк, С.С., et al.
Veröffentlicht: (2016)

Семантичні властивості п’ятизначних логік
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)

Стабільність та монотонність програм щодо структурних трансформацій даних
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)

Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
von: Львов, М.С.
Veröffentlicht: (2015)

Формалізований метод проектування застосувань в технології GPGPU
von: Кривий, С.Л., et al.
Veröffentlicht: (2018)

Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
von: Крывый, С.Л., et al.
Veröffentlicht: (2008)

Аналіз систем нечіткої логіки для апроксимації нечітких функцій
von: Щегельський, Т.С., et al.
Veröffentlicht: (2012)

Програмування в обмеженнях у системі інсерційного моделювання
von: Летичевський, О.А., et al.
Veröffentlicht: (2011)

NP-трудность задач оптимизации коллективного преследования
von: Пашко, С.В.
Veröffentlicht: (2014)

Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами
von: Потиенко, С.В.
Veröffentlicht: (2008)

О выделении макроопераций из вычислительных процессов сортировки массивов данных
von: Паулин, О.Н., et al.
Veröffentlicht: (2016)

Ациклічність та замкненість макрокомпозицій
von: Вінник, В.Ю., et al.
Veröffentlicht: (2012)

n- исчисление – реалистичная формализация класса переписывающих систем
von: Шевченко, Р.С., et al.
Veröffentlicht: (2011)

Синтез многоуровневых структур со многими выходами
von: Опанасенко, В.Н., et al.
Veröffentlicht: (2016)

Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных
von: Резниченко, В.А., et al.
Veröffentlicht: (2016)

Конструктивно-продукционная модель графового представления текста
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2016)

Отображение дескриптивной логики ALC в бинарную реляционную структуру данных
von: Резниченко, В.А., et al.
Veröffentlicht: (2015)

Метод извлечения логики поведения из промышленного программного кода на языке Кобол
von: Губа, А.А., et al.
Veröffentlicht: (2016)

Гібридний алгоритм методу Ньютона для розв’язування систем нелінійних рівнянь з блочними матрицями Якобі
von: Хіміч, О.М., et al.
Veröffentlicht: (2020)

Елементи конкретної алгоритміки: обчислюваність і розв’язність
von: Провотар, О.І., et al.
Veröffentlicht: (2020)

Еволюційне програмування
von: Глибовець, М.М., et al.
Veröffentlicht: (2013)