Теорія програмних алгебр композиційного типу та її застосування
Дослідження моделей загальнозначних дескриптивних та декларативних структур програм. Характеристика табличних алгебр, які уточнюють маніпуляції коддовського типу. Визначення повної формальної семантики DML мов у SQL-подібних мовах, їх структура.
Подобные документы
Дослідження біографії видатного математика Глушкова Віктора Михайловича. Нагороди та отримані звання Глушкова. Науково-дослідницька діяльність математика в галузях алгебраїчних структур, теорії програмування, систем алгоритмічних алгебр та кібернетики.
реферат, добавлен 11.03.2014Структура скінченовимірних алгебр, породжених лінійно пов'язаними ідемпотентами. Опис та аналіз двопараметричної множини коефіцієнтів, для яких алгебра, породжена четвіркою проекторів, лінійна комбінація яких дорівнює одиниці, має ненульові зображення.
автореферат, добавлен 13.09.2013Отримання критерію модульної обмеженості для плоскої матричної задачі змішаного типу над дискретно нормованим кільцем і його тілом часток. Застосування критерію для опису напівдосконалих напівспадкових напівдистрибутивних кілець модульно обмеженого типу.
автореферат, добавлен 25.06.2014Введення і вивчення класу числових функцій та дослідження застосувань цих функцій в задачах теорії зображень графів, теорії асоціативних алгебр та теорії графів. Зв'язок функцій t з кореневими системами графів. Техніка обчислення базисів Грьобнера.
автореферат, добавлен 28.08.2014Представление и обработка знаний в компьютерных системах обучения следящего типа. Парадоксы вычислительной математики. Теория моделей обогащенных булевых алгебр. Алгоритмическая теория разрешимых групп. Линейно минимальные кольца и алгебры. Теория колец.
материалы конференции, добавлен 26.12.2012Методи дослідження допустимих представлень нескінченновимірних аналогів класичних матричних груп нескінченного рангу та побудова для них теорії фактор-представлень. Конструкція Гельфанда-Наймарка-Сигала. Унітарно інваріантне позитивне визначення функції.
автореферат, добавлен 29.01.2016Основні дослідження властивостей напівмаксимальних кілець та їх сагайдаків і класифікація таких кілець. Розвиток теорії зображень скінченновимірних алгебр. Рекурсивні ланцюги сагайдака черепичного порядку. Цілочисельна матриця спеціального вигляду.
автореферат, добавлен 28.10.2015Визначення умов однопараметричної розстановки чисел на ребрах циклу, при існуванні відповідних конфігурацій підпросторів. Аналіз спектральної теорії графів. Встановлення рівності алгебр з нового та попереднього класів для дерев з додатковою умовою.
автореферат, добавлен 28.08.2014Характеристика множини точок повної міри на відрізку, у яких має місце сильне підсумовування рядів Фур'є сумовних з вагою функцій по рівномірно обмежених системах функцій поліноміального вигляду. Аналіз багатовимірних аналогів нерівностей типу Лебега.
автореферат, добавлен 27.09.2014Вивчення функційних рівнянь над квазігруповими операціями за допомогою їх класифікації з точністю до парастрофної рівносильності. Дослідження багатомісних функцій та відповідних алгебр. З’ясування, які з рівнянь мають властивість ізотопності групі.
автореферат, добавлен 29.08.2014Дослідження наборів проекторів, які задовольняють співвідношення Темперлі–Ліба та ортогональності. Конфігурація підпросторів у гільбертовому просторі із попарно фіксованими кутами між ними. Вивчення структури афінних алгебр Темперлі–Ліба серії A.
автореферат, добавлен 11.08.2014Дослідження геометрій на одновимірних і двовимірних многовидах, обумовлених ефективними й транзитивними діями алгебри Лі sl_2(R). Знаходження базисних диференціальних інваріантів геометричних величин. Обчислення базисних диференціальних інваріантів.
автореферат, добавлен 27.07.2015- 38. Нерівності типу Колмогорова для похідних дробового порядку та їх застосування в теорії апроксимації
Дослідження задачі про нерівності типу Колмогорова для похідних дробового порядку функцій однієї та багатьох змінних, порівняння точних констант у нерівностях для норм "проміжних" похідних періодичних і неперіодичних функцій багатьох змінних у просторах.
автореферат, добавлен 30.08.2014 Дослідження питання про існування алгебр фон Неймана. Вивчення процесу доведення аналогів домінантної ергодичної теореми для послідовностей абсолютних стисків симетричних просторів вимірних операторів, приєднаних до комутативної алгебри фон Неймана.
автореферат, добавлен 25.07.2014Формулювання та доведення теореми про відношення площ подібних трикутників, варіанти її застосування. Встановлення залежності між площами подібних фігур, вираження її у числовій формі. Формування вмінь вживання цієї залежності під час розв'язування задач.
конспект урока, добавлен 12.09.2018Дослідження структурних властивостей алгебр вимірних операторів. Аналоги домінантної ергодичної теореми для послідовностей абсолютних стисків симетричних просторів вимірних функцій на піввісі, в яких виконуються різні типи ергодичних нерівностей.
автореферат, добавлен 29.08.2015Доведення теореми, що описує всi напiвгрупи Рiсса скiнченного типу. Напiвгрупи Рiсса над циклiчною групою четвертого порядку. Вивчення їх зображувального типу у модулярному випадку i характеристика усiх напiвгруп, що мають скiнченний зображувальний тип.
статья, добавлен 24.11.2016Розробка та обґрунтування методів дослідження допустимих представлень нескінченновимірних аналогів класичних матричних груп нескінченного рангу, побудова для них теорії фактор-представлень. Обчислення інваріантів відповідних факторів фон Неймана.
автореферат, добавлен 28.09.2014Закріплення знань учнів про зміст узагальненої теореми Фалеса. Дослідження означення та властивостей подібних трикутників. Головна особливість знаходження довжини відрізка. Характеристика доведення подібності прямокутного і рівнобедреного трикутника.
конспект урока, добавлен 07.09.2018Створення теоретичної основи й алгоритмічної бази для комп’ютерних програм. Визначення геометричної форми об’єкта, що є динамічним проявом процесу гетерогенного типу в зазначені моменти часу за описами послідовності вузлових зображень цього об’єкта.
автореферат, добавлен 20.04.2014Аналогічні задачі наближення класів локально інтегрованих функцій, заданих на дійсній осі (і не обов'язково періодичних), за допомогою цілих функцій експоненціального типу. Оцінки швидкості наближення поліномами Бернштейна інтерполяційного типу класів.
автореферат, добавлен 22.07.2014Ознакомление с формулами Каца–Вейля и функциями Холла–Литтлвуда. Рассмотрение многогранников Гельфанда–Цетлина. Формульное выражение многочленов. Моделирование аффинных функций. Доказательство соответствия между гранями и подграфами многоугольников.
диссертация, добавлен 28.12.2016Конструкція часткових когомологій напівгруп, їх котроєчне зображення і зв'язок із когомологіями Ейленберга – Маклейна. Використання часткових когомологій для класифікації сильно примарних асоціативних алгебр. Аналіз нових властивостей моноїда Брауера.
автореферат, добавлен 23.11.2013Определение ручных и диких алгебр. Общее представление о системах с абелевым радикалом. Анализ гипотезы Чередника-Орра. Изучение несимметрических многочленов Макдональда, модуля Вейля и теории квантовых граф Брюа. Рассмотрение случаев малых рангов.
диссертация, добавлен 28.12.2016Аналіз алгебраїчних властивостей та зображень Віковських *-алгебр. Доведення необхідних і достатніх умов існування однорідних Віковських ідеалів довільної степені. Вивчення зображення Віковських аналогів деформацій канонічних комутаційних співвідношень.
автореферат, добавлен 23.11.2013