Композиційно-номінативні логіки з непрямим іменуванням
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Композиційно-номінативні логіки з непрямим іменуванням
|
|
| Creator |
Россада, Т.В.
Шкільняк, С.С. |
|
| Subject |
Теоретичні та методологічні основи програмування
|
|
| Description |
Досліджено композиційно-номінативні логіки, базовані на іменних множинах з непрямим іменуванням. Запропоновано та досліджено операції над такими множинами, зокрема, операції реномінації. На цій основі побудована логіка реномінативного рівня.
In this paper composition-nominative logics based on name sets with indirect nomination are studied. We introduce and investigate operations on such sets, in particular operations of renomination. On this basis we specify a logic of renominative level. |
|
| Date |
2015-09-23T15:27:27Z
2015-09-23T15:27:27Z 2012 |
|
| Identifier |
Композиційно-номінативні логіки з непрямим іменуванням / Т.В. Россада, С.С. Шкільняк // Проблеми програмування. — 2012. — № 2-3. — С. 44-49. — Бібліогр.: 5 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/86585 004.42:510.69 |
|
| Language |
uk
|
|
| Relation |
Проблеми програмування
|
|
| Publisher |
Інститут програмних систем НАН України
|
|