Дослідження логіки скінченних предикатів як композиційно-номінативної логіки
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Creator |
Вечірська, І. Д.
Гончаров, І. Е. Шепілов, С. І. |
|
| Date |
2015-06-23T10:39:49Z
2015-06-23T10:39:49Z 2014 |
|
| Identifier |
Вечірська, І. Д. Дослідження логіки скінченних предикатів як композиційно-номінативної логіки / І. Д. Вечірська, І. Е. Гончаров, С. І. Шепілов // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2014. – Вып. 2 (83). – С. 53–60.
http://hdl.handle.net/123456789/2277 |
|
| Description |
В статті досліджено логіку скінченних предикатів як одну з композиційно-номінативних логік. Проведено аналіз предикатних алгебр та алгебр предикатних операцій, що входять до складу логіки скінченних предикатів, а також їх застосувань. Досліджено лінійні логічні перетворення та модифікований добуток морфізмів предикатної категорії. |
|
| Language |
uk
|
|
| Publisher |
ХНУРЭ
|
|
| Subject |
алгебра
відношення лінійне логічне перетворення логіка модифікований добуток морфізм предикат предметна область |
|
| Title |
Дослідження логіки скінченних предикатів як композиційно-номінативної логіки
|
|
| Type |
Article
|
|