Ієрархія композиційно-номінативних логік
Запропонована ієрархія композиційно-номінативних логік. Такі логіки будуються в семантико-синтаксичному стилі на основі композиційно номінативного підходу. Місце логіки в ієрархії визначається рівнем абстракції розгляду та обмеженнями класу предикатів. Стосовно екстенсійного аспекту предметних облас...
Gespeichert in:
| Datum: | 2004 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2004
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/1354 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Ієрархія композиційно-номінативних логік/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 4. — С. 3-16. — Бібліогр.: 25 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-1354 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Ієрархія композиційно-номінативних логік |
| spellingShingle |
Ієрархія композиційно-номінативних логік Нікітченко, М.С. Шкільняк, С.С. Теоретичні та методологічні основи програмування |
| title_short |
Ієрархія композиційно-номінативних логік |
| title_full |
Ієрархія композиційно-номінативних логік |
| title_fullStr |
Ієрархія композиційно-номінативних логік |
| title_full_unstemmed |
Ієрархія композиційно-номінативних логік |
| title_sort |
ієрархія композиційно-номінативних логік |
| author |
Нікітченко, М.С. Шкільняк, С.С. |
| author_facet |
Нікітченко, М.С. Шкільняк, С.С. |
| topic |
Теоретичні та методологічні основи програмування |
| topic_facet |
Теоретичні та методологічні основи програмування |
| publishDate |
2004 |
| language |
Ukrainian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Иерархия композиционно-номина¬тивных логик Hierarchy of Composition Nominative Logics |
| 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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/1354 |
| fulltext |
|
| citation_txt |
Ієрархія композиційно-номінативних логік/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 4. — С. 3-16. — Бібліогр.: 25 назв. — укр. |
| 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 |
| first_indexed |
2025-11-25T20:54:30Z |
| last_indexed |
2025-11-25T20:54:30Z |
| _version_ |
1850538866419695616 |