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

Досліджено нові програмно-орієнтовані логічні формалізми – логіки часткових предикатів з операцією (композицією) предикатного доповненням, названі 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