Інтенсіонально-орієнтований підхід до побудови логічних систем
Запропоновано інтенсіонально-орієнтований підхід до визначення основних понять логіки. Розглянуто інтенсіонали понять даного, функції та композиції. Введено поняття номінату (номінативного даного) та розглянуто його зв'язки з поняттям множини. Продемонстровано застосовність підходу в математичн...
Saved in:
| Date: | 2007 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2007
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/285 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Інтенсіонально-орієнтований підхід до побудови логічних систем / М.С. Нікітченко, С.С. Шкільняк // Пробл. програмув. — 2007. — N 2. — . — Бібліогр.: 37 назв. — укp. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862662919955677184 |
|---|---|
| author | Нікітченко, М.С. Шкільняк, С.С. |
| author_facet | Нікітченко, М.С. Шкільняк, С.С. |
| citation_txt | Інтенсіонально-орієнтований підхід до побудови логічних систем / М.С. Нікітченко, С.С. Шкільняк // Пробл. програмув. — 2007. — N 2. — . — Бібліогр.: 37 назв. — укp. |
| collection | DSpace DC |
| description | Запропоновано інтенсіонально-орієнтований підхід до визначення основних понять логіки. Розглянуто інтенсіонали понять даного, функції та композиції. Введено поняття номінату (номінативного даного) та розглянуто його зв'язки з поняттям множини. Продемонстровано застосовність підходу в математичній логіці. Розглянуто спектр композиційно-номінативних логік. Описано композиції квазіарних предикатів на різних рівнях абстрактності. Виділено класи логік квазіарних предикатів, розглянуто їх основні властивості.
|
| first_indexed | 2025-12-02T14:02:49Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-285 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-02T14:02:49Z |
| publishDate | 2007 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Нікітченко, М.С. Шкільняк, С.С. 2008-02-22T18:18:41Z 2008-02-22T18:18:41Z 2007 Інтенсіонально-орієнтований підхід до побудови логічних систем / М.С. Нікітченко, С.С. Шкільняк // Пробл. програмув. — 2007. — N 2. — . — Бібліогр.: 37 назв. — укp. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/285 Запропоновано інтенсіонально-орієнтований підхід до визначення основних понять логіки. Розглянуто інтенсіонали понять даного, функції та композиції. Введено поняття номінату (номінативного даного) та розглянуто його зв'язки з поняттям множини. Продемонстровано застосовність підходу в математичній логіці. Розглянуто спектр композиційно-номінативних логік. Описано композиції квазіарних предикатів на різних рівнях абстрактності. Виділено класи логік квазіарних предикатів, розглянуто їх основні властивості. uk Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Інтенсіонально-орієнтований підхід до побудови логічних систем Article published earlier |
| spellingShingle | Інтенсіонально-орієнтований підхід до побудови логічних систем Нікітченко, М.С. Шкільняк, С.С. Теоретичні та методологічні основи програмування |
| title | Інтенсіонально-орієнтований підхід до побудови логічних систем |
| title_full | Інтенсіонально-орієнтований підхід до побудови логічних систем |
| title_fullStr | Інтенсіонально-орієнтований підхід до побудови логічних систем |
| title_full_unstemmed | Інтенсіонально-орієнтований підхід до побудови логічних систем |
| title_short | Інтенсіонально-орієнтований підхід до побудови логічних систем |
| title_sort | інтенсіонально-орієнтований підхід до побудови логічних систем |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/285 |
| work_keys_str_mv | AT níkítčenkoms íntensíonalʹnooríêntovaniipídhíddopobudovilogíčnihsistem AT škílʹnâkss íntensíonalʹnooríêntovaniipídhíddopobudovilogíčnihsistem |