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