Buchumschlag

Секвенційні числення композиційно-номінотивних логік квазіарних предикатів

Побудовано секвенційні числення першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неодно-значних та часткових неоднозначних квазіарних предикатів кванторного рівня. Такі числення запропоновано для загального випад-ку логік квазіарних предикатів, для логік однозначних е...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Проблеми програмування
Datum:	2012
1. Verfasser:	Шкільняк, С.С.
Sprache:	Ukrainisch
Veröffentlicht:	Інститут програмних систем НАН України 2012
Schlagworte:	Теоретичні та методологічні основи програмування
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/86584
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:	Секвенційні числення композиційно-номінотивних логік квазіарних предикатів / С.С. Шкільняк // Проблеми програмування. — 2012. — № 2-3. — С. 33-43. — Бібліогр.: 8 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Виникнення та інтерпретація тризначних логік Кліні
von: Шишацька, О.В.
Veröffentlicht: (2010)

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)

Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
von: Панченко, Т.В.
Veröffentlicht: (2008)

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

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

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

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

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

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

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

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

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

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

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)