Процай, Н. Т.Вечирская, И. Д.2016-06-132016-06-132014Процай, Н. Т. Определение образа линейного логического оператора и отображения Галуа по пустой области в терминах кванторной алгебры предикатных операций / Н. Т. Процай, И. Д. Вечирская // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2014. – Вып. 2 (83). – С. 30–33.http://openarchive.nure.ua/handle/document/825В статье проведен анализ определения образа линейного логического оператора и отображения Галуа по пустой области в теоретико-множественной трактовке и в терминах логики предикатов. Выявлена проблема в определении образа пустого множества на основании данных определений. Представлено решение данной проблемы с помощью аппарата кванторной алгебры предикатных операций.ruлинейный логический операторотображение Галуакванторная алгебра предикатных операцийквантор общностиквантор существованияобраз множестваопределения множестваArticle