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

Завантаження...
Зображення мініатюри

Дата

2014

Назва журналу

ISSN журналу

Назва тома

Видавництво

ХНУРЭ

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

В статье проведен анализ определения образа линейного логического оператора и отображения Галуа по пустой области в теоретико-множественной трактовке и в терминах логики предикатов. Выявлена проблема в определении образа пустого множества на основании данных определений. Представлено решение данной проблемы с помощью аппарата кванторной алгебры предикатных операций.

Опис

Ключові слова

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

Бібліографічний опис

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

DOI