Інтенсіонально-орієнтований підхід до побудови логічних систем
| dc.contributor.author | Нікітченко, М.С. | |
| dc.contributor.author | Шкільняк, С.С. | |
| dc.date.accessioned | 2008-02-22T18:18:41Z | |
| dc.date.available | 2008-02-22T18:18:41Z | |
| dc.date.issued | 2007 | |
| dc.description.abstract | Запропоновано інтенсіонально-орієнтований підхід до визначення основних понять логіки. Розглянуто інтенсіонали понять даного, функції та композиції. Введено поняття номінату (номінативного даного) та розглянуто його зв'язки з поняттям множини. Продемонстровано застосовність підходу в математичній логіці. Розглянуто спектр композиційно-номінативних логік. Описано композиції квазіарних предикатів на різних рівнях абстрактності. Виділено класи логік квазіарних предикатів, розглянуто їх основні властивості. | en_US |
| dc.identifier.citation | Інтенсіонально-орієнтований підхід до побудови логічних систем / М.С. Нікітченко, С.С. Шкільняк // Пробл. програмув. — 2007. — N 2. — . — Бібліогр.: 37 назв. — укp. | en_US |
| dc.identifier.issn | 1727-4907 | |
| dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/285 | |
| dc.language.iso | uk | en_US |
| dc.publisher | Інститут програмних систем НАН України | en_US |
| dc.status | published earlier | en_US |
| dc.subject | Теоретичні та методологічні основи програмування | en_US |
| dc.title | Інтенсіонально-орієнтований підхід до побудови логічних систем | en_US |
| dc.type | Article | en_US |
Файли
Оригінальний контейнер
1 - 1 з 1
Завантаження...
- Назва:
- Шкільняк_#1.pdf
- Розмір:
- 448.32 KB
- Формат:
- Adobe Portable Document Format
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 1.81 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: