Buchumschlag

Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення

Досліджено нові програмно-орієнтовані логіки часткових предикатів з операцією (композицією) предикатного доповнення, такі логіки названо LC. Для першопорядкових LC запропоновано низку відношень логічного наслідку та відношень логічного наслідку за умови невизначеності. Досліджено властивості цих від...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Проблеми програмування
Datum:	2019
1. Verfasser:	Шкільняк, О.С.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Інститут програмних систем НАН України 2019
Schlagworte:	Теоретичні та методологічні основи програмування
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/161494
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:	Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення / О.С. Шкільняк // Проблеми програмування. — 2019. — № 3. — С. 11-27. — Бібліогр.: 10 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Порівняння ефективності підходів Map-Reduce і акторної моделі при розв’язанні завдань з високою зв'язністю вхідних даних на прикладі задачі оптимізації рою часток
von: Ларін, В.О., et al.
Veröffentlicht: (2021)

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

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

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

О построении клонов алгебр функциональных n-отношенеий
von: Захария, Л.М., et al.
Veröffentlicht: (2006)

Описание списков и множеств в метаязыке нормальных форм знаний
von: Кургаев, А.Ф.
Veröffentlicht: (2020)

Дефинитологические основания сущностной платформы
von: Редько, В.Н., et al.
Veröffentlicht: (2012)

Компонентне програмування. Теорія і реалізація
von: Лавріщева, К.М.
Veröffentlicht: (2012)

Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
von: Новокшонов, А.К.
Veröffentlicht: (2016)

Генерувальне програмування програмних систем і їх сімейств
von: Лавріщева, К.М.
Veröffentlicht: (2009)

К-значная логика в расширенной алгебре алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2008)

DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1
von: Колесник, В.Г.
Veröffentlicht: (2015)

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

Концепція індустрії наукового софтвера і підхід до обчислення наукових задач
von: Лавріщева, К.М.
Veröffentlicht: (2011)

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

Интенсиональные основания дескриптивных сред
von: Редько, И.В.
Veröffentlicht: (2006)

Моделі взаємодії програм, систем і операційних середовищ
von: Лавріщева, К.М.
Veröffentlicht: (2011)

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