Композиційно-номінативні логіки над ієрархічними даними
Будуються нові логіки, які дозволяють більш адекватно описувати властивості предикатів та функцій, визначених над ієрархічними даними. Характерною властивістю цих логік є використання в їх мовах складних імен. Вивчаються семантичні властивості таких логік та визначаються відповідні числення секвенці...
Збережено в:
| Дата: | 2010 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут програмних систем НАН України
2010
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/14588 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Композиційно-номінативні логіки над ієрархічними даними / М.С. Нікітченко, С.С. Шкільняк // Пробл. програмув. — 2010. — № 2-3. — С. 48-57. — Бібліогр.: 7 назв. — укр. |
Репозитарії
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 |