Композиційно-номінативні логіки над ієрархічними даними
Будуються нові логіки, які дозволяють більш адекватно описувати властивості предикатів та функцій, визначених над ієрархічними даними. Характерною властивістю цих логік є використання в їх мовах складних імен. Вивчаються семантичні властивості таких логік та визначаються відповідні числення секвенці...
Збережено в:
| Дата: | 2010 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2010
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.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| id |
irk-123456789-14588 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-145882010-12-27T12:07:13Z Композиційно-номінативні логіки над ієрархічними даними Нікітченко, М.С. Шкільняк, С.С. Теоретичні та методологічні основи програмування Будуються нові логіки, які дозволяють більш адекватно описувати властивості предикатів та функцій, визначених над ієрархічними даними. Характерною властивістю цих логік є використання в їх мовах складних імен. Вивчаються семантичні властивості таких логік та визначаються відповідні числення секвенційного типу. 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. 2010 Article Композиційно-номінативні логіки над ієрархічними даними / М.С. Нікітченко, С.С. Шкільняк // Пробл. програмув. — 2010. — № 2-3. — С. 48-57. — Бібліогр.: 7 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/14588 004.4 uk Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування |
| spellingShingle |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Нікітченко, М.С. Шкільняк, С.С. Композиційно-номінативні логіки над ієрархічними даними |
| description |
Будуються нові логіки, які дозволяють більш адекватно описувати властивості предикатів та функцій, визначених над ієрархічними даними. Характерною властивістю цих логік є використання в їх мовах складних імен. Вивчаються семантичні властивості таких логік та визначаються відповідні числення секвенційного типу. |
| format |
Article |
| author |
Нікітченко, М.С. Шкільняк, С.С. |
| author_facet |
Нікітченко, М.С. Шкільняк, С.С. |
| author_sort |
Нікітченко, М.С. |
| title |
Композиційно-номінативні логіки над ієрархічними даними |
| title_short |
Композиційно-номінативні логіки над ієрархічними даними |
| title_full |
Композиційно-номінативні логіки над ієрархічними даними |
| title_fullStr |
Композиційно-номінативні логіки над ієрархічними даними |
| title_full_unstemmed |
Композиційно-номінативні логіки над ієрархічними даними |
| title_sort |
композиційно-номінативні логіки над ієрархічними даними |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2010 |
| topic_facet |
Теоретичні та методологічні основи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/14588 |
| citation_txt |
Композиційно-номінативні логіки над ієрархічними даними / М.С. Нікітченко, С.С. Шкільняк // Пробл. програмув. — 2010. — № 2-3. — С. 48-57. — Бібліогр.: 7 назв. — укр. |
| work_keys_str_mv |
AT níkítčenkoms kompozicíjnonomínativnílogíkinadíêrarhíčnimidanimi AT škílʹnâkss kompozicíjnonomínativnílogíkinadíêrarhíčnimidanimi |
| first_indexed |
2023-10-18T16:53:24Z |
| last_indexed |
2023-10-18T16:53:24Z |
| _version_ |
1796140141599784960 |