Композиційно-номінативні логіки над ієрархічними даними
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Композиційно-номінативні логіки над ієрархічними даними
|
|
| Creator |
Нікітченко, М.С.
Шкільняк, С.С. |
|
| Subject |
Теоретичні та методологічні основи програмування
|
|
| 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. |
|
| Date |
2010-12-27T09:06:41Z
2010-12-27T09:06:41Z 2010 |
|
| Type |
Article
|
|
| Identifier |
Композиційно-номінативні логіки над ієрархічними даними / М.С. Нікітченко, С.С. Шкільняк // Пробл. програмув. — 2010. — № 2-3. — С. 48-57. — Бібліогр.: 7 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/14588 004.4 |
|
| Language |
uk
|
|
| Publisher |
Інститут програмних систем НАН України
|
|