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