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

Дослідження моделей загальнозначних дескриптивних та декларативних структур програм. Характеристика табличних алгебр, які уточнюють маніпуляції коддовського типу. Визначення повної формальної семантики 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-файлы представлены только в архивах.
Рекомендуем скачать работу.