Композиційно-номінативні логіки над ієрархічними даними
Будуються нові логіки, які дозволяють більш адекватно описувати властивості предикатів та функцій, визначених над ієрархічними даними. Характерною властивістю цих логік є використання в їх мовах складних імен. Вивчаються семантичні властивості таких логік та визначаються відповідні числення секвенці...
Saved in:
| Date: | 2010 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/14588 |
| 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: | Композиційно-номінативні логіки над ієрархічними даними / М.С. Нікітченко, С.С. Шкільняк // Пробл. програмув. — 2010. — № 2-3. — С. 48-57. — Бібліогр.: 7 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862632411484913664 |
|---|---|
| author | Нікітченко, М.С. Шкільняк, С.С. |
| author_facet | Нікітченко, М.С. Шкільняк, С.С. |
| citation_txt | Композиційно-номінативні логіки над ієрархічними даними / М.С. Нікітченко, С.С. Шкільняк // Пробл. програмув. — 2010. — № 2-3. — С. 48-57. — Бібліогр.: 7 назв. — укр. |
| collection | DSpace DC |
| description | Будуються нові логіки, які дозволяють більш адекватно описувати властивості предикатів та функцій, визначених над ієрархічними даними. Характерною властивістю цих логік є використання в їх мовах складних імен. Вивчаються семантичні властивості таких логік та визначаються відповідні числення секвенційного типу.
New logics more adequate for property descriptions of functions and predicates over hierarchical data are constructed. A characteristic fea-ture of such logics is use of composite names in their languages. Semantic properties of such logics are investigated, corresponding sequent calculi are defined.
|
| first_indexed | 2025-11-30T12:58:31Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-14588 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-11-30T12:58:31Z |
| publishDate | 2010 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Нікітченко, М.С. Шкільняк, С.С. 2010-12-27T09:06:41Z 2010-12-27T09:06:41Z 2010 Композиційно-номінативні логіки над ієрархічними даними / М.С. Нікітченко, С.С. Шкільняк // Пробл. програмув. — 2010. — № 2-3. — С. 48-57. — Бібліогр.: 7 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/14588 004.4 Будуються нові логіки, які дозволяють більш адекватно описувати властивості предикатів та функцій, визначених над ієрархічними даними. Характерною властивістю цих логік є використання в їх мовах складних імен. Вивчаються семантичні властивості таких логік та визначаються відповідні числення секвенційного типу. New logics more adequate for property descriptions of functions and predicates over hierarchical data are constructed. A characteristic fea-ture of such logics is use of composite names in their languages. Semantic properties of such logics are investigated, corresponding sequent calculi are defined. uk Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Композиційно-номінативні логіки над ієрархічними даними Composition nominative logics over hierarchical data Article published earlier |
| spellingShingle | Композиційно-номінативні логіки над ієрархічними даними Нікітченко, М.С. Шкільняк, С.С. Теоретичні та методологічні основи програмування |
| title | Композиційно-номінативні логіки над ієрархічними даними |
| title_alt | Composition nominative logics over hierarchical data |
| title_full | Композиційно-номінативні логіки над ієрархічними даними |
| title_fullStr | Композиційно-номінативні логіки над ієрархічними даними |
| title_full_unstemmed | Композиційно-номінативні логіки над ієрархічними даними |
| title_short | Композиційно-номінативні логіки над ієрархічними даними |
| title_sort | композиційно-номінативні логіки над ієрархічними даними |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/14588 |
| work_keys_str_mv | AT níkítčenkoms kompozicíinonomínativnílogíkinadíêrarhíčnimidanimi AT škílʹnâkss kompozicíinonomínativnílogíkinadíêrarhíčnimidanimi AT níkítčenkoms compositionnominativelogicsoverhierarchicaldata AT škílʹnâkss compositionnominativelogicsoverhierarchicaldata |