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

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2018
Автори:	Нікітченко, М.С., Шкільняк, О.С., Шкільняк, C.С.
Формат:	Стаття
Мова:	Ukrainian
Опубліковано:	Інститут програмних систем НАН України 2018
Назва видання:	Проблеми програмування
Теми:	Теоретичні та методологічні основи програмування
Онлайн доступ:	http://dspace.nbuv.gov.ua/handle/123456789/144561
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Алгебри загальних недетермінованих предикатів / М.С. Нікітченко, О.С. Шкільняк, C.С. Шкільняк // Проблеми програмування. — 2018. — № 1. — С. 5-21. — Бібліогр.: 8 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-144561
record_format	dspace
spelling	irk-123456789-1445612018-12-30T01:22:56Z Алгебри загальних недетермінованих предикатів Нікітченко, М.С. Шкільняк, О.С. Шкільняк, C.С. Теоретичні та методологічні основи програмування Запропоновано та досліджено логіки загальних недетермінованих квазіарних предикатів – GND-предикатів. Такі предикати є узагальненням часткових неоднозначних предикатів реляційного типу. Основна увага приділена побудові композиційних алгебр GND-предикатів. Виділено різновиди GND-предикатів, показано їх зв'язок із 7-значними тотальними детермінованими предикатами. Виділено 7-елементну алгебру істиннісних значень цих предикатів, описано усі її підалгебри. Такі підалгебри індукують відповідні алгебри GND-предикатів. Описано мови чистих першопорядкових логік GND-предикатів та їх інтерпретації. Введено та досліджено відношення логічного G-наслідку. Предложены и исследованы новые программно-ориентированные логические формализмы – логики общих недетерминированных квазиарных предикатов, названных GND-предикатами. Эти предикаты являются обобщением частичных неоднозначных предикатов реляционного типа. Основное внимание уделено построению композиционных алгебр GND-предикатов. Выделены разновидности таких предикатов, описаны их композиции. GND-предикаты можно моделировать как 7-значные тотальные детерминированные – ТD7-предикаты. Выделена 7-элементная алгебра истинностных значений TD7-предикатов, описаны все ее подалгебры. Каждая такая подалгебра индуцирует соответствующую алгебру TD7-предикатов, которая далее индуцирует алгебру GND-предикатов. Это позволило выделить ряд важных композиционных алгебр общих недетерминированных предикатов. Описаны языки чистых первопорядковых логик GND-предикатов, их интерпретации. Введены отношения логического G-следствия и логической G-эквивалентности. Отношение логического G-следствия является монотонным, рефлексивным и транзитивным, для него выполняются свойства декомпозиции формул. На основе этих свойств для логик GND-предикатов планируется построение исчислений секвенциального типа. Предложены и исследованы новые программно-ориентированные логические формализмы – логики общих недетерминированных квазиарных предикатов, названных GND-предикатами. Эти предикаты являются обобщением частичных неоднозначных предикатов реляционного типа. Основное внимание уделено построению композиционных алгебр GND-предикатов. Выделены разновидности таких предикатов, описаны их композиции. GND-предикаты можно моделировать как 7-значные тотальные детерминированные – ТD7-предикаты. Выделена 7-элементная алгебра истинностных значений TD7-предикатов, описаны все ее подалгебры. Каждая такая подалгебра индуцирует соответствующую алгебру TD7-предикатов, которая далее индуцирует алгебру GND-предикатов. Это позволило выделить ряд важных композиционных алгебр общих недетерминированных предикатов. Описаны языки чистых первопорядковых логик GND-предикатов, их интерпретации. Введены отношения логического G-следствия и логической G-эквивалентности. Отношение логического G-следствия является монотонным, рефлексивным и транзитивным, для него выполняются свойства декомпозиции формул. На основе этих свойств для логик GND-предикатов планируется построение исчислений секвенциального типа. 2018 Article Алгебри загальних недетермінованих предикатів / М.С. Нікітченко, О.С. Шкільняк, C.С. Шкільняк // Проблеми програмування. — 2018. — № 1. — С. 5-21. — Бібліогр.: 8 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/144561 004.42:510.69 uk Проблеми програмування Інститут програмних систем НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Ukrainian
topic	Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування
spellingShingle	Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Нікітченко, М.С. Шкільняк, О.С. Шкільняк, C.С. Алгебри загальних недетермінованих предикатів Проблеми програмування
description	Запропоновано та досліджено логіки загальних недетермінованих квазіарних предикатів – GND-предикатів. Такі предикати є узагальненням часткових неоднозначних предикатів реляційного типу. Основна увага приділена побудові композиційних алгебр GND-предикатів. Виділено різновиди GND-предикатів, показано їх зв'язок із 7-значними тотальними детермінованими предикатами. Виділено 7-елементну алгебру істиннісних значень цих предикатів, описано усі її підалгебри. Такі підалгебри індукують відповідні алгебри GND-предикатів. Описано мови чистих першопорядкових логік GND-предикатів та їх інтерпретації. Введено та досліджено відношення логічного G-наслідку.
format	Article
author	Нікітченко, М.С. Шкільняк, О.С. Шкільняк, C.С.
author_facet	Нікітченко, М.С. Шкільняк, О.С. Шкільняк, C.С.
author_sort	Нікітченко, М.С.
title	Алгебри загальних недетермінованих предикатів
title_short	Алгебри загальних недетермінованих предикатів
title_full	Алгебри загальних недетермінованих предикатів
title_fullStr	Алгебри загальних недетермінованих предикатів
title_full_unstemmed	Алгебри загальних недетермінованих предикатів
title_sort	алгебри загальних недетермінованих предикатів
publisher	Інститут програмних систем НАН України
publishDate	2018
topic_facet	Теоретичні та методологічні основи програмування
url	http://dspace.nbuv.gov.ua/handle/123456789/144561
citation_txt	Алгебри загальних недетермінованих предикатів / М.С. Нікітченко, О.С. Шкільняк, C.С. Шкільняк // Проблеми програмування. — 2018. — № 1. — С. 5-21. — Бібліогр.: 8 назв. — укр.
series	Проблеми програмування
work_keys_str_mv	AT níkítčenkoms algebrizagalʹnihnedetermínovanihpredikatív AT škílʹnâkos algebrizagalʹnihnedetermínovanihpredikatív AT škílʹnâkcs algebrizagalʹnihnedetermínovanihpredikatív
first_indexed	2023-05-20T17:19:51Z
last_indexed	2023-05-20T17:19:51Z
_version_	1796153051405352960

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

Репозитарії

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