Теорія програмних алгебр композиційного типу та її застосування

Дослідження моделей загальнозначних дескриптивних та декларативних структур програм. Характеристика табличних алгебр, які уточнюють маніпуляції коддовського типу. Визначення повної формальної семантики DML мов у SQL-подібних мовах, їх структура.

Рубрика Математика
Вид автореферат
Язык украинский
Дата добавления 25.04.2014
Размер файла 54,6 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.


Подобные документы

  • Теорія формацій алгебраїчних систем. Основні визначення, позначення й використовувані результати. Властивості централізаторів конгруенції універсальних алгебр. Формаційні властивості нильпотентних алгебр. Класи абелевих алгебр і їхні властивості.

    дипломная работа [179,2 K], добавлен 20.01.2011

  • Исследование самых абстрактных алгебраических систем, в частности, универсальных алгебр. Основные определения, обозначения и используемые результаты. Свойства централизаторов конгруэнции универсальных алгебр. Конгруэнция Фраттини, подалгебра Фраттини.

    курсовая работа [264,7 K], добавлен 22.09.2009

  • История развития и становления математического понятия функции. Абстрактные характеристики упорядоченных алгебр многоместных функций: P-алгебры и D-алгебры. Исследование теории суперпозиций алгебраических структур n-местных функций Менгера и Глускера.

    курсовая работа [263,7 K], добавлен 22.12.2015

  • Вивчення теорії інтегральних нерівностей типу Біхарі для неперервних і розривних функцій та її застосування. Розгляд леми Гронуолла–Беллмана–Бiхарi для нелiнiйних iнтегро-сумарних нерiвностей. Критерій стійкості автономної системи диференціальних рівнянь.

    курсовая работа [121,7 K], добавлен 21.04.2015

  • Виявлення можливості практичного застосування програмних засобів і комп’ютерних презентацій на уроках математики в ході побудови графіків функцій, що містять змінну під знаком модуля. Особливості застосування програм GRAN1 і GRAN-2D, розроблених Жалдаком.

    статья [1,0 M], добавлен 11.05.2010

  • Понятие и свойства n-арных операций, универсальной алгебры и сигнатуры. Характеристика централизаторов конгруэнции универсальных алгебр и доказательство их основных свойств. Нильпотентные и абелевы алгебры, формулировка и метод доказательства их лемм.

    курсовая работа [399,1 K], добавлен 22.09.2009

  • Застосування систем рівнянь хемотаксису в математичній біології. Виведення системи визначальних рівнянь, розв'язання отриманої системи визначальних рівнянь (симетрій Лі). Побудова анзаців максимальних алгебр інваріантності математичної моделі хемотаксису.

    дипломная работа [1,9 M], добавлен 09.09.2012

  • Понятия локальных экранов и формаций, основанных на определении центральных рядов, их роль в теории формаций конечных групп, мультиколец и других алгебраических систем. Определение мультикольца, его идеала, централизатора, теоремы и их доказательства.

    дипломная работа [251,7 K], добавлен 18.09.2009

  • Основные понятия, определения, свойства и примеры банаховых алгебр, понятие идеала, доказательство леммы. Определение спектра и резольвенты. Теорема о фактор-алгебре, ее следствия. Линейные непрерывные мультипликативные функционалы и максимальные идеалы.

    курсовая работа [69,1 K], добавлен 30.09.2011

  • Оценка алгебры Ли как одного из классических объектов современной математики. Основные определения и особенности ассоциативной алгебры. Нильпотентные алгебры Ли, эквивалентность различных определений нильпотентности. Описание алгебр Ли малых размерностей.

    курсовая работа [79,4 K], добавлен 13.12.2011

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.