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

Досліджено нові програмно-орієнтовані логічні формалізми – логіки часткових предикатів з операцією (композицією) предикатного доповненням, названі LC. Подібні операції використовуються в різних варіантах логік Флойда – Хоара з частковими перед- та після-умовами. В даній роботі вивчаються LC пропозиц...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-150917
record_format	dspace
spelling	irk-123456789-1509172019-04-19T01:25:28Z Пропозиційні логіки часткових предикатів з композицією предикатного доповнення Нікітченко, М.С. Шкільняк, О.С. Шкільняк, C.С. Мамедов, Т.А. Теоретичні та методологічні основи програмування Досліджено нові програмно-орієнтовані логічні формалізми – логіки часткових предикатів з операцією (композицією) предикатного доповненням, названі LC. Подібні операції використовуються в різних варіантах логік Флойда – Хоара з частковими перед- та після-умовами. В даній роботі вивчаються LC пропозиційного рівня – PLC. Описано пропозиційні композиційні алгебри та мови PLC, запропоновано та досліджено відношення неспростовнісного логічного наслідку за умов невизначеності. На цій основі для PLC однозначних предикатів побудовано числення секвенційного типу. В работе исследованы новые программно-ориентированные логические формализмы – логики частичных предикатов с предикатным дополнением, названные LC. Характерная особенность таких логик – наличие специальной немонотонной операции (композиции) предикатного дополнения. Подобные операции используются в различных вариантах логик Флойда – Хоара с частичными пред- и после-условиями. Свойства пропозициональных композиций LC аналогичны свойствам традиционных логических связок. Исследованы свойства новой композиции предикатного дополнения. The paper studies new software-oriented logical formalisms – the logics of partial predicates with predicate complement. Such logics are denoted LC. A characteristic feature of these logics is the presence of a special non-monotonic operation (composition) of the predicate complement. Such operations are used in various versions of the Floyd-Hoare logic with partial pre- and post-conditions. Properties of LC propositional compositions are similar to the properties of the traditional logical connectives. Properties of the new composition of the predicate complement are investigated. 2019 Article Пропозиційні логіки часткових предикатів з композицією предикатного доповнення / М.С. Нікітченко, О.С. Шкільняк, C.С. Шкільняк, Т.А. Мамедов // Проблеми програмування. — 2019. — № 1. — С. 3-13. — Бібліогр.: 14 назв. — укр. 1727-4907 DOI: https://doi.org/10.15407/pp2019.01.003 http://dspace.nbuv.gov.ua/handle/123456789/150917 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	Досліджено нові програмно-орієнтовані логічні формалізми – логіки часткових предикатів з операцією (композицією) предикатного доповненням, названі LC. Подібні операції використовуються в різних варіантах логік Флойда – Хоара з частковими перед- та після-умовами. В даній роботі вивчаються LC пропозиційного рівня – PLC. Описано пропозиційні композиційні алгебри та мови PLC, запропоновано та досліджено відношення неспростовнісного логічного наслідку за умов невизначеності. На цій основі для PLC однозначних предикатів побудовано числення секвенційного типу.
format	Article
author	Нікітченко, М.С. Шкільняк, О.С. Шкільняк, C.С. Мамедов, Т.А.
author_facet	Нікітченко, М.С. Шкільняк, О.С. Шкільняк, C.С. Мамедов, Т.А.
author_sort	Нікітченко, М.С.
title	Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
title_short	Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
title_full	Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
title_fullStr	Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
title_full_unstemmed	Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
title_sort	пропозиційні логіки часткових предикатів з композицією предикатного доповнення
publisher	Інститут програмних систем НАН України
publishDate	2019
topic_facet	Теоретичні та методологічні основи програмування
url	http://dspace.nbuv.gov.ua/handle/123456789/150917
citation_txt	Пропозиційні логіки часткових предикатів з композицією предикатного доповнення / М.С. Нікітченко, О.С. Шкільняк, C.С. Шкільняк, Т.А. Мамедов // Проблеми програмування. — 2019. — № 1. — С. 3-13. — Бібліогр.: 14 назв. — укр.
series	Проблеми програмування
work_keys_str_mv	AT níkítčenkoms propozicíjnílogíkičastkovihpredikatívzkompozicíêûpredikatnogodopovnennâ AT škílʹnâkos propozicíjnílogíkičastkovihpredikatívzkompozicíêûpredikatnogodopovnennâ AT škílʹnâkcs propozicíjnílogíkičastkovihpredikatívzkompozicíêûpredikatnogodopovnennâ AT mamedovta propozicíjnílogíkičastkovihpredikatívzkompozicíêûpredikatnogodopovnennâ
first_indexed	2023-05-20T17:36:01Z
last_indexed	2023-05-20T17:36:01Z
_version_	1796153662211358720

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

Репозитарії

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