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