Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/825
Title: Определение образа линейного логического оператора и отображения Галуа по пустой области в терминах кванторной алгебры предикатных операций
Authors: Процай, Н. Т.
Вечирская, И. Д.
Keywords: линейный логический оператор
отображение Галуа
кванторная алгебра предикатных операций
квантор общности
квантор существования
образ множества
определения множества
Issue Date: 2014
Publisher: ХНУРЭ
Citation: Процай, Н. Т. Определение образа линейного логического оператора и отображения Галуа по пустой области в терминах кванторной алгебры предикатных операций / Н. Т. Процай, И. Д. Вечирская // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2014. – Вып. 2 (83). – С. 30–33.
Abstract: В статье проведен анализ определения образа линейного логического оператора и отображения Галуа по пустой области в теоретико-множественной трактовке и в терминах логики предикатов. Выявлена проблема в определении образа пустого множества на основании данных определений. Представлено решение данной проблемы с помощью аппарата кванторной алгебры предикатных операций.
URI: http://openarchive.nure.ua/handle/document/825
Appears in Collections:Бионика интеллекта

Files in This Item:
File Description SizeFormat 
bionica-2014-2-030-033.pdf178.8 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Admin Tools