Інтенсіонально-орієнтований підхід до побудови логічних систем
Запропоновано інтенсіонально-орієнтований підхід до визначення основних понять логіки. Розглянуто інтенсіонали понять даного, функції та композиції. Введено поняття номінату (номінативного даного) та розглянуто його зв'язки з поняттям множини. Продемонстровано застосовність підходу в математичн...
Збережено в:
| Дата: | 2007 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут програмних систем НАН України
2007
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/285 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Інтенсіонально-орієнтований підхід до побудови логічних систем / М.С. Нікітченко, С.С. Шкільняк // Пробл. програмув. — 2007. — N 2. — . — Бібліогр.: 37 назв. — укp. |
Репозитарії
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 |