Определение образа линейного логического оператора и отображения Галуа по пустой области в терминах кванторной алгебры предикатных операций

Процай, Н. Т.; Вечирская, И. Д.

Публікація:
Определение образа линейного логического оператора и отображения Галуа по пустой области в терминах кванторной алгебры предикатных операций

dc.contributor.author	Процай, Н. Т.
dc.contributor.author	Вечирская, И. Д.
dc.date.accessioned	2016-06-13T06:11:02Z
dc.date.available	2016-06-13T06:11:02Z
dc.date.issued	2014
dc.description.abstract	В статье проведен анализ определения образа линейного логического оператора и отображения Галуа по пустой области в теоретико-множественной трактовке и в терминах логики предикатов. Выявлена проблема в определении образа пустого множества на основании данных определений. Представлено решение данной проблемы с помощью аппарата кванторной алгебры предикатных операций.	uk_UA
dc.identifier.citation	Процай, Н. Т. Определение образа линейного логического оператора и отображения Галуа по пустой области в терминах кванторной алгебры предикатных операций / Н. Т. Процай, И. Д. Вечирская // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2014. – Вып. 2 (83). – С. 30–33.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/825
dc.language.iso	ru	uk_UA
dc.publisher	ХНУРЭ	uk_UA
dc.subject	линейный логический оператор	uk_UA
dc.subject	отображение Галуа	uk_UA
dc.subject	кванторная алгебра предикатных операций	uk_UA
dc.subject	квантор общности	uk_UA
dc.subject	квантор существования	uk_UA
dc.subject	образ множества	uk_UA
dc.subject	определения множества	uk_UA
dc.title	Определение образа линейного логического оператора и отображения Галуа по пустой области в терминах кванторной алгебры предикатных операций	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication