Ієрархія композиційно-номінативних логік
Запропонована ієрархія композиційно-номінативних логік. Такі логіки будуються в семантико-синтаксичному стилі на основі композиційно номінативного підходу. Місце логіки в ієрархії визначається рівнем абстракції розгляду та обмеженнями класу предикатів. Стосовно екстенсійного аспекту предметних облас...
Збережено в:
| Дата: | 2004 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут програмних систем НАН України
2004
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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| _version_ | 1862551031537205248 |
|---|---|
| author | Нікітченко, М.С. Шкільняк, С.С. |
| author_facet | Нікітченко, М.С. Шкільняк, С.С. |
| citation_txt | Ієрархія композиційно-номінативних логік/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 4. — С. 3-16. — Бібліогр.: 25 назв. — укр. |
| collection | DSpace DC |
| description | Запропонована ієрархія композиційно-номінативних логік. Такі логіки будуються в семантико-синтаксичному стилі на основі композиційно номінативного підходу. Місце логіки в ієрархії визначається рівнем абстракції розгляду та обмеженнями класу предикатів. Стосовно екстенсійного аспекту предметних областей запропоновані логіки квазіарних предикатів та логіки номіна тивних даних, стосовно інтенсійного аспекту — композиційно-номінативні модальні логіки.
Предложена иерархия композиционно-номинативных логик. Такие логики строятся в семантико-синтаксическом стиле на основе композиционно-номи¬нативного подхода. Место логики в иерархии определяется уровнем абстракции рассмотрения и ограничениями класса предикатов. Относительно экстенсио-нального аспекта предметных областей предложены логики квазиарных предикатов и логики номинативных данных, относительно ин-тенсионального аспекта — композиционно-номинативные модальные логики.
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.
|
| first_indexed | 2025-11-25T20:54:30Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1354 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-11-25T20:54:30Z |
| publishDate | 2004 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Нікітченко, М.С. Шкільняк, С.С. 2008-07-28T16:02:56Z 2008-07-28T16:02:56Z 2004 Ієрархія композиційно-номінативних логік/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 4. — С. 3-16. — Бібліогр.: 25 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1354 510.6 681.3.06 Запропонована ієрархія композиційно-номінативних логік. Такі логіки будуються в семантико-синтаксичному стилі на основі композиційно номінативного підходу. Місце логіки в ієрархії визначається рівнем абстракції розгляду та обмеженнями класу предикатів. Стосовно екстенсійного аспекту предметних областей запропоновані логіки квазіарних предикатів та логіки номіна тивних даних, стосовно інтенсійного аспекту — композиційно-номінативні модальні логіки. Предложена иерархия композиционно-номинативных логик. Такие логики строятся в семантико-синтаксическом стиле на основе композиционно-номи¬нативного подхода. Место логики в иерархии определяется уровнем абстракции рассмотрения и ограничениями класса предикатов. Относительно экстенсио-нального аспекта предметных областей предложены логики квазиарных предикатов и логики номинативных данных, относительно ин-тенсионального аспекта — композиционно-номинативные модальные логики. 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. uk Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Ієрархія композиційно-номінативних логік Иерархия композиционно-номина¬тивных логик Hierarchy of Composition Nominative Logics Article published earlier |
| spellingShingle | Ієрархія композиційно-номінативних логік Нікітченко, М.С. Шкільняк, С.С. Теоретичні та методологічні основи програмування |
| title | Ієрархія композиційно-номінативних логік |
| title_alt | Иерархия композиционно-номина¬тивных логик Hierarchy of Composition Nominative Logics |
| title_full | Ієрархія композиційно-номінативних логік |
| title_fullStr | Ієрархія композиційно-номінативних логік |
| title_full_unstemmed | Ієрархія композиційно-номінативних логік |
| title_short | Ієрархія композиційно-номінативних логік |
| title_sort | ієрархія композиційно-номінативних логік |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1354 |
| work_keys_str_mv | AT níkítčenkoms íêrarhíâkompozicíinonomínativnihlogík AT škílʹnâkss íêrarhíâkompozicíinonomínativnihlogík AT níkítčenkoms ierarhiâkompozicionnonominativnyhlogik AT škílʹnâkss ierarhiâkompozicionnonominativnyhlogik AT níkítčenkoms hierarchyofcompositionnominativelogics AT škílʹnâkss hierarchyofcompositionnominativelogics |