|
-
Ключові слова:
Галуа теорія, Галуа теория ; алгебра предикатів, алгебра предикатов ; лінійні логічні оператори, линейные логические операторы ; логіка предикатів, логика предикатов ; теорія множин, теория множеств
-
Анотація:
Проведен анализ определения образа линейного логического оператора и отображения Галуа по пустой области в теоретико-множественной трактовке и в терминах логики предикатов. Выявлена проблема в определении образа пустого множества на основании данных определений. Представлено решение данной проблемы с помощью аппарата кванторной алгебры предикатных операций.
-
Є складовою частиною документа:
-
Теми документа
-
Праці співробітників ХНУРЕ // Вечірська Ірина Дмитрівна, Вечирская Ирина Дмитриевна
-
Праці співробітників ХНУРЕ // Процай Наталія Тимофіївна, Процай Наталья Тимофеевна
-
УДК // Числові методи розв'язання звичайних диференціальних рівнянь
| 