Показати простий запис статті
dc.contributor.author |
Нікітченко, М.С. |
|
dc.contributor.author |
Шкільняк, О.С. |
|
dc.contributor.author |
Шкільняк, С.С. |
|
dc.date.accessioned |
2017-02-04T17:28:38Z |
|
dc.date.available |
2017-02-04T17:28:38Z |
|
dc.date.issued |
2014 |
|
dc.identifier.citation |
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2014. — № 2-3. — С. 17-28. — Бібліогр.: 9 назв. — укр. |
uk_UA |
dc.identifier.issn |
1727-4907 |
|
dc.identifier.uri |
http://dspace.nbuv.gov.ua/handle/123456789/113209 |
|
dc.description.abstract |
Досліджено першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових не-однозначних квазіарних предикатів. Запропоновано розширення цих логік узагальненими реномінаціями та спеціальними предикатами-індикаторами наявності значення для предметних змінних. Описано мови та семантичні моделі таких логік, досліджено їх семантичні властивості, зокрема, властивості відношень логічного наслідку. |
uk_UA |
dc.description.abstract |
First-order composition-nominative logics of partial single-valued, total multi-valued, and partial multi-valued quasiary predicates are investigated. It is proposed to extend these logics with generalized renominations and special predicates that detect if the subject variables have assigned values. Languages and semantic models of such logics are defined, their semantic properties, in particular, properties of relations of logical consequence are studied. |
uk_UA |
dc.language.iso |
uk |
uk_UA |
dc.publisher |
Інститут програмних систем НАН України |
uk_UA |
dc.relation.ispartof |
Проблеми програмування |
|
dc.subject |
Теоретичні та методологічні основи програмування |
uk_UA |
dc.title |
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями |
uk_UA |
dc.title.alternative |
First-order composition-nominative logics with generalized renominations |
uk_UA |
dc.type |
Article |
uk_UA |
dc.status |
published earlier |
uk_UA |
dc.identifier.udc |
004.42:510.69 |
|
Файли у цій статті
Ця стаття з'являється у наступних колекціях
Показати простий запис статті