Логіки загальних недетермінованих предикатів: cемантичні аспекти

Логіки загальних недетермінованих предикатів: cемантичні аспекти

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

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Проблеми програмування
Дата:2018
Автори: Нікітченко, М.С., Шкільняк, О.С., Шкільняк, С.С.
Формат: Стаття
Мова:Ukrainian
Опубліковано: Інститут програмних систем НАН України 2018
Теми:
Теоретичні та методологічні основи програмування
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/144580
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Логіки загальних недетермінованих предикатів: cемантичні аспекти / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2018. — № 2-3. — С. 31-45. — Бібліогр.: 10 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-144580
record_format dspace
spelling Нікітченко, М.С.
Шкільняк, О.С.
Шкільняк, С.С.
2018-12-30T16:42:27Z
2018-12-30T16:42:27Z
2018
Логіки загальних недетермінованих предикатів: cемантичні аспекти / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2018. — № 2-3. — С. 31-45. — Бібліогр.: 10 назв. — укр.
1727-4907
https://nasplib.isofts.kiev.ua/handle/123456789/144580
004.42:510.69
Досліджено семантичні аспекти нового класу програмно-орієнтованих логічних формалізмів – логік загальних недетермінованих квазіарних предикатів, або GND-предикатів. Виділено різновиди таких предикатів, досліджено властивості їх композицій, розглянуто композиційні алгебри GND-предикатів. Описано мови чистих першопорядкових логік GND-предикатів. Запропоновано та досліджено відношення логічного наслідку для множин формул. Описано властивості декомпозиції формул та елімінації кванторів.
Исследованы семантические аспекты нового класса программно-ориентированных логических формализмов – логик общих недетерминированных квазиарных предикатов, или GND-предикатов. Выделены разновидности таких предикатов, исследованы свойства их композиций, рассмотрены композиционные алгебры GND-предикатов. Описаны языки чистых первопорядковых логик GND-предикатов. Предложены и исследованы отношения логического следствия для множеств формул. Описаны свойства декомпозиции формул и элиминации кванторов.
Semantic aspects of a new class of program-oriented logical formalisms – logics of general non-deterministic quasiary predicates (GND-predicates) – are considered. Сlasses of GND-predicates are singled out, their compositions and algebras are investigated. The language of pure first-order logics of GND-predicates is described. The relation of the logical consequence for the sets of formulas is proposed and investigated. The properties of the decomposition of formulas and of quantifier elimination are described.
uk
Інститут програмних систем НАН України
Проблеми програмування
Теоретичні та методологічні основи програмування
Логіки загальних недетермінованих предикатів: cемантичні аспекти
Logics of general non-deterministic predicates: semantic aspects
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Логіки загальних недетермінованих предикатів: cемантичні аспекти
spellingShingle Логіки загальних недетермінованих предикатів: cемантичні аспекти
Нікітченко, М.С.
Шкільняк, О.С.
Шкільняк, С.С.
Теоретичні та методологічні основи програмування
title_short Логіки загальних недетермінованих предикатів: cемантичні аспекти
title_full Логіки загальних недетермінованих предикатів: cемантичні аспекти
title_fullStr Логіки загальних недетермінованих предикатів: cемантичні аспекти
title_full_unstemmed Логіки загальних недетермінованих предикатів: cемантичні аспекти
title_sort логіки загальних недетермінованих предикатів: cемантичні аспекти
author Нікітченко, М.С.
Шкільняк, О.С.
Шкільняк, С.С.
author_facet Нікітченко, М.С.
Шкільняк, О.С.
Шкільняк, С.С.
topic Теоретичні та методологічні основи програмування
topic_facet Теоретичні та методологічні основи програмування
publishDate 2018
language Ukrainian
container_title Проблеми програмування
publisher Інститут програмних систем НАН України
format Article
title_alt Logics of general non-deterministic predicates: semantic aspects
description Досліджено семантичні аспекти нового класу програмно-орієнтованих логічних формалізмів – логік загальних недетермінованих квазіарних предикатів, або GND-предикатів. Виділено різновиди таких предикатів, досліджено властивості їх композицій, розглянуто композиційні алгебри GND-предикатів. Описано мови чистих першопорядкових логік GND-предикатів. Запропоновано та досліджено відношення логічного наслідку для множин формул. Описано властивості декомпозиції формул та елімінації кванторів. Исследованы семантические аспекты нового класса программно-ориентированных логических формализмов – логик общих недетерминированных квазиарных предикатов, или GND-предикатов. Выделены разновидности таких предикатов, исследованы свойства их композиций, рассмотрены композиционные алгебры GND-предикатов. Описаны языки чистых первопорядковых логик GND-предикатов. Предложены и исследованы отношения логического следствия для множеств формул. Описаны свойства декомпозиции формул и элиминации кванторов. Semantic aspects of a new class of program-oriented logical formalisms – logics of general non-deterministic quasiary predicates (GND-predicates) – are considered. Сlasses of GND-predicates are singled out, their compositions and algebras are investigated. The language of pure first-order logics of GND-predicates is described. The relation of the logical consequence for the sets of formulas is proposed and investigated. The properties of the decomposition of formulas and of quantifier elimination are described.
issn 1727-4907
url https://nasplib.isofts.kiev.ua/handle/123456789/144580
citation_txt Логіки загальних недетермінованих предикатів: cемантичні аспекти / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2018. — № 2-3. — С. 31-45. — Бібліогр.: 10 назв. — укр.
work_keys_str_mv AT níkítčenkoms logíkizagalʹnihnedetermínovanihpredikatívcemantičníaspekti
AT škílʹnâkos logíkizagalʹnihnedetermínovanihpredikatívcemantičníaspekti
AT škílʹnâkss logíkizagalʹnihnedetermínovanihpredikatívcemantičníaspekti
AT níkítčenkoms logicsofgeneralnondeterministicpredicatessemanticaspects
AT škílʹnâkos logicsofgeneralnondeterministicpredicatessemanticaspects
AT škílʹnâkss logicsofgeneralnondeterministicpredicatessemanticaspects
first_indexed 2025-12-07T20:44:22Z
last_indexed 2025-12-07T20:44:22Z
_version_ 1850883715864985600

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