Cover Image

Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності

Досліджено нові програмно-орієнтовані логіки часткових предикатів з операцією (композицією) предикатного доповнення, такі логіки названо LC. Для першопорядкових LC запропоновано низку відношень логічного наслідку та відношень логічного наслідку за умови невизначеності. Досліджено властивості цих від...

Full description

Saved in:
Bibliographic Details
Published in:Проблеми програмування
Date:2019
Main Author: Шкільняк, C.С.
Format: Article
Language:Ukrainian
Published: Інститут програмних систем НАН України 2019
Subjects:
Теоретичні та методологічні основи програмування
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/161495
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності / C.С. Шкільняк // Проблеми програмування. — 2019. — № 3. — С. 28-44. — Бібліогр.: 10 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Similar Items