Алгебри загальних недетермінованих предикатів
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Алгебри загальних недетермінованих предикатів
|
|
| Creator |
Нікітченко, М.С.
Шкільняк, О.С. Шкільняк, C.С. |
|
| Subject |
Теоретичні та методологічні основи програмування
|
|
| Description |
Запропоновано та досліджено логіки загальних недетермінованих квазіарних предикатів – 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-предикатов планируется построение исчислений секвенциального типа. |
|
| Date |
2018-12-29T19:03:45Z
2018-12-29T19:03:45Z 2018 |
|
| Type |
Article
|
|
| Identifier |
Алгебри загальних недетермінованих предикатів / М.С. Нікітченко, О.С. Шкільняк, C.С. Шкільняк // Проблеми програмування. — 2018. — № 1. — С. 5-21. — Бібліогр.: 8 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/144561 004.42:510.69 |
|
| Language |
uk
|
|
| Relation |
Проблеми програмування
|
|
| Publisher |
Інститут програмних систем НАН України
|
|