Теорія програмних алгебр композиційного типу та її застосування
Дослідження моделей загальнозначних дескриптивних та декларативних структур програм. Характеристика табличних алгебр, які уточнюють маніпуляції коддовського типу. Визначення повної формальної семантики DML мов у SQL-подібних мовах, їх структура.
Подобные документы
Определение класса алгебр лиевского типа, содержащих классы ассоциативных алгебр и алгебр Ли. Изучение структуры лиевских алгебр с размерностью, не превышающей трёх. Одномерные, многомерные и тривиальные пространственные градуировки алгебр лиевского типа.
курсовая работа, добавлен 15.10.2012Теорія операторних просторів, алгебр та модулів. Критерій того, щоб гільбертіан був лівим операторним модулем над алгеброю обмежених операторів у ньому. Лінійні базиси алгебр, породжених скінченною кількістю ідемпотентів, сума яких пропорційна одиниці.
автореферат, добавлен 11.10.2011Понятие внутреннего идеала для йордановых алгебр. Изучение внутренних идеалов алгебр Ли как аналогов одностороннего идеала ассоциативной алгебры. Рассмотрение некоторых свойств внутренних идеалов алгебр Ли. Анализ обозначений для матричных единиц.
статья, добавлен 17.12.2019Вивчення сагайдаків різного типу відображень. Дослідження деяких класів напівдосконалих кілець. Розгляд слабосиметричних скінченновимірних алгебр та опис напівдистрибутивних та напівпримарних кілець скінченного типу, квадрат радикалу яких дорівнює нулю.
автореферат, добавлен 27.08.2014Визначення та аналіз критерія дикості вільного добутку скінченновимірних алгебр. Розробка та характеристика аналога моделі Бергера-Кобурна-Лєбова опису пари комутуючих ізометрій. Дослідження особливостей класу алгебр, породжених узагальненими куонами.
автореферат, добавлен 13.08.2015Вивчення спектру (множини максимальних ідеалів) різних алгебр аналітичних функцій на банахових просторах, зокрема, алгебри цілих симетричних функцій обмеженого типу та алгебри симетричних аналітичних функцій на одиничній кулі банахового простору.
автореферат, добавлен 30.08.2014Дослідження *-алгебр, асоційованих із зірчастими графами. Розгляд проблеми Г. Вейля, яка виникає про складанні двох ермітових матриць. Опис множини параметрів розширеного графу Динкіна. Структурні теореми для *-алгебр, породжених наборами проекторів.
автореферат, добавлен 28.09.2015Понятие формации алгебраических систем. Факты о формационных свойствах универсальных алгебр (фактор-алгебр, подалгебр, конгруэнций, рядов конгруэнций), а также новые оригинальные доказательства свойств, ранее известных в общей форме для других теорий.
дипломная работа, добавлен 18.09.2009Дослідження структурних особливостей інволютивних алгебр, асоційованих з розширеними графами Динкіна. Умови, за яких транзитивні системи з 4-x підпросторів у скінченновимірному гільбертовому просторі породжуються четвірками лінійно пов’язаних проекторів.
автореферат, добавлен 26.02.2015Опис скінченновимірних розв'язних алгебр Лі над алгебраїчно замкненим полем характеристики, в яких доповнювані всі одновимірні ідеали. Доведення розв'язності алгебр Лі, які допускають лінійний оператор непарного порядку без ненульових нерухомих точок.
автореферат, добавлен 12.07.2015Алгебра Лейбница как векторное пространство с билинейным произведением, в котором выполняется известное тождество. Пример нинельпотентного многообразия алгебр Лейбница с условием энгелевости порядка р. Его использование для поля нулевой характеристики.
статья, добавлен 31.05.2013Вивчення системи підпросторів, що побудовані за нееквівалентними незвідними зображеннями алгебр. Побудова символів оборотності сингулярних інтегральних операторів. Задачі ізоморфного опису транзитивних систем. Розгляд формул узагальнених розмірностей.
автореферат, добавлен 28.08.2014Множина максимальних ідеалів різних алгебр аналітичних функцій на банаховому просторі. Математичні операції з цілими відношеннями обмеженого типу. Побудови і дослідження аналогів положень Харді на одиничній кулі. Групи симетрії множини нулів поліномів.
автореферат, добавлен 29.08.2014Дослідження згорткових алгебр розподілів Шварца з носіями в довільному конусі та ультрарозподілів типу Жевре. Метод побудови функціонального числення в згорткових алгебрах у формі операторного перетворення Фур’є-Лапласа. Побудова функціонального числення.
автореферат, добавлен 27.08.2015Опис Alg-маркованих сагайдаків зображувального скінченного і ручного типів відносно поточково-проективних зображень. Дослідження базових нерозкладних алгебр, над якими задача про односторонню еквівалентність радикальних матриць є задачею скінченного типу.
автореферат, добавлен 28.08.2015Изучение фундаментальных проблем и взаимосвязей в следующих направлениях современной алгебры: теория неассоциативных алгебр, теория конечных групп и алгебраическая геометрия. Исследования квантований алгебр, в конечных лиевых и нелиевых группах.
научная работа, добавлен 28.10.2018Вивчення зв’язків між різними класами кілець, алгебр Фуджити та сильнозв’язних сагайдаків за допомогою теорії невід’ємних матриць. Побудування Фробеніусових кілець з сагайдаком. Вивчення кільцевих властивостей алгебр Фуджити. Підрахування їх індексів.
автореферат, добавлен 26.09.2015Функтори віддзеркалень Кокстера для алгебр, породжених лінійно пов'язаними ортопроекторами, категорій зображень графів у категорії гільбертових просторів. Конструкція похідного колчана, яка використовується для розв'язання задач класифікації зображень.
автореферат, добавлен 27.08.2014Побудова та дослідження алгебраїчної системи мультимножин. Структура сім’ї мультимножин, впорядкованої за природним відношення включення. Застосування отриманих результатів в інформатиці та репрезентативних предметних областях в табличних базах даних.
автореферат, добавлен 29.07.2015Обчислення та оцінка ентропії для деяких класів автоморфізмів груп та C*-алгебр. Клас автоморфізмів зліченної підгрупи тора. Оцінка динамічної ентропії відповідних автоморфізмів схрещеного добутку цієї підгрупи та C*-алгебри неперервних функцій на торі.
автореферат, добавлен 29.07.2014Розробка алгебраїчних методів класичного групового аналізу диференціальних рівнянь. Конструктивний метод розв'язання цієї задачі з частинними похідними. Групова класифікація квазілінійного рівняння еволюційного типу в двовимірному просторі–часі.
автореферат, добавлен 13.07.2014Описание ассоциированных решений задачи Коши для систем уравнений в дифференциалах, соответствующих системам уравнений с разрывной и обобщенной правыми частями. Решение этой задачи для соответствующих им систем в прямом произведении алгебр мнемофункций.
автореферат, добавлен 19.08.2018Дослідження зв'язку алгебраїчних властивостей інволютивних алгебр з теорією їх зображень обмеженими та необмеженими операторами у гільбертових просторах. Математичне поняття додатності інволюції. Розгляд операторнозначних функцій унімодальних систем.
автореферат, добавлен 24.02.2014Визначення інваріантної множини і нерухомих точок у випадку багатозначності для систем нейромережного типу. Дослідження моделей нелінійних систем, відповідаючих великим соціальним системам. Динаміка дискретної нелінійної системи в умовах багатозначності.
автореферат, добавлен 24.06.2014Исследование класса рассуждающих и рефлексивных сетей, позволяющих моделировать синхронные рассуждения нескольких субъектов. Разработка и доказательство теоремы, определяющей свойство алгебр порождать функциональные структуры для вычислительных моделей.
автореферат, добавлен 30.04.2018