Ієрархія композиційно-номінативних логік
Запропонована ієрархія композиційно-номінативних логік. Такі логіки будуються в семантико-синтаксичному стилі на основі композиційно номінативного підходу. Місце логіки в ієрархії визначається рівнем абстракції розгляду та обмеженнями класу предикатів. Стосовно екстенсійного аспекту предметних облас...
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Ähnliche Einträge
-
Ієрархія композиційно-номінативних логік
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004) -
Спектр секвенційних числень першопорядкових композиційно-номінативних логік
von: Шкільняк, С.С.
Veröffentlicht: (2013) -
Семантичні властивості композиційно-номінативних модальних логік
von: Шкільняк, О.С.
Veröffentlicht: (2009) -
Побудова секвенційних числень мультимодальних композиційно-номінативних логік
von: Шкільняк, О.С.
Veröffentlicht: (2013) -
Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня
von: Шкільняк, О.С.
Veröffentlicht: (2011)