Публікація: Определение образа линейного логического оператора и отображения Галуа по пустой области в терминах кванторной алгебры предикатных операций
Завантаження...
Дата
2014
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЭ
Анотація
В статье проведен анализ определения образа линейного логического оператора и отображения Галуа по пустой области в теоретико-множественной трактовке и в терминах логики предикатов. Выявлена проблема в определении образа пустого множества на основании данных определений. Представлено решение данной проблемы с помощью аппарата кванторной алгебры предикатных операций.
Опис
Ключові слова
линейный логический оператор, отображение Галуа, кванторная алгебра предикатных операций, квантор общности, квантор существования, образ множества, определения множества
Бібліографічний опис
Процай, Н. Т. Определение образа линейного логического оператора и отображения Галуа по пустой области в терминах кванторной алгебры предикатных операций / Н. Т. Процай, И. Д. Вечирская // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2014. – Вып. 2 (83). – С. 30–33.