Ієрархія композиційно-номінативних логік
Запропонована ієрархія композиційно-номінативних логік. Такі логіки будуються в семантико-синтаксичному стилі на основі композиційно номінативного підходу. Місце логіки в ієрархії визначається рівнем абстракції розгляду та обмеженнями класу предикатів. Стосовно екстенсійного аспекту предметних облас...
Збережено в:
| Дата: | 2004 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2004
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/1354 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Ієрархія композиційно-номінативних логік/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 4. — С. 3-16. — Бібліогр.: 25 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-1354 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-13542008-07-30T12:00:36Z Ієрархія композиційно-номінативних логік Нікітченко, М.С. Шкільняк, С.С. Теоретичні та методологічні основи програмування Запропонована ієрархія композиційно-номінативних логік. Такі логіки будуються в семантико-синтаксичному стилі на основі композиційно номінативного підходу. Місце логіки в ієрархії визначається рівнем абстракції розгляду та обмеженнями класу предикатів. Стосовно екстенсійного аспекту предметних областей запропоновані логіки квазіарних предикатів та логіки номіна тивних даних, стосовно інтенсійного аспекту — композиційно-номінативні модальні логіки. Предложена иерархия композиционно-номинативных логик. Такие логики строятся в семантико-синтаксическом стиле на основе композиционно-номи¬нативного подхода. Место логики в иерархии определяется уровнем абстракции рассмотрения и ограничениями класса предикатов. Относительно экстенсио-нального аспекта предметных областей предложены логики квазиарных предикатов и логики номинативных данных, относительно ин-тенсионального аспекта — композиционно-номинативные модальные логики. The hierarchy of composition nominative logics is proposed. Such logics are built in a semantic-syntactic style on a basis of composition nominative approach. The place of a logic in this hierarchy is determined by its abstraction level and by restrictions on classes of its predicates. Concerning extensional aspects of subject domains, the logics of quasiary predicates and logics over nominative data are proposed. Intensional aspects are represented by composition nominative modal logics. 2004 Article Ієрархія композиційно-номінативних логік/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 4. — С. 3-16. — Бібліогр.: 25 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1354 510.6 681.3.06 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 |
2004 |
| topic_facet |
Теоретичні та методологічні основи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/1354 |
| citation_txt |
Ієрархія композиційно-номінативних логік/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 4. — С. 3-16. — Бібліогр.: 25 назв. — укр. |
| work_keys_str_mv |
AT níkítčenkoms íêrarhíâkompozicíjnonomínativnihlogík AT škílʹnâkss íêrarhíâkompozicíjnonomínativnihlogík |
| first_indexed |
2023-03-24T08:21:33Z |
| last_indexed |
2023-03-24T08:21:33Z |
| _version_ |
1796138882287271936 |