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

English version

Дисертація на здобуття ступеня доктора наук

Державний реєстраційний номер

0502U000351

Облікова картка дисертації

0502U000351.pdf

Здобувач

Спеціальність

  • 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем

26-09-2002

Спеціалізована вчена рада

Д 26.001.09

Київський національний університет імені Тараса Шевченка

Анотація

Мета - побудова формальних моделей програм на основі програмних алгебр композиційного типу. Об'єкт дослідження - загальнозначні дескриптивні та декларативні структури програм, маніпуляційні дії в базах даних, DML-мови. Основні результати: створення загальної теорії розв'язування систем рівнянь, асоційованих з рекурсіями; дослідження монотонності та неперервності суперпозицій і рекурсій, взаємозв'язку між ними; вирішення проблем повноти для функцій, що зберігають денотати; дослідження взаємної похідності табличних операцій; визначення повної семантики операторів DML-мов.

Читати повністю

Файли

Autoref--Автореферат.doc

Autoref--Титул автореферат.doc

Вкладення часткових функц у тотальн.doc

Вступ до розд 1.doc

Вступ до розд 2.doc

Вступ до розд 4.doc

Вступ до розд 5.doc

Вступ.doc

Диссертация.doc

Додаток А.doc

Доп результати.doc

Композиц рекурс.doc

Ланцюги елемент та нерухом точки.doc

Ланцюги елемента относ функц.doc

Лтератур1.doc

Монотонн та зростаюч функц.doc

Неперервнсть суперпозиц та сумжн факти.doc

Неперервнсть суперпозиц.doc

Нерухом точки довльн чвм.doc

Нерухом точки неперервн функц на индуктивн множин.doc

Обернення теорем про нерухом точки.doc

Ординальн зображення нерухомих точок.doc

Основн поняття.doc

Пдстановка.doc

Раздел 1.2.doc

Раздел 3.3.1.doc

Раздел 3.3.2.doc

Раздел 3.3.3.doc

Раздел 3.3.4.doc

Раздел 3.3.5.doc

Раздел 3.3.6.doc

Раздел 3.3.7.doc

Раздел 3.3.8.doc

Раздел 3.3.doc

Раздел 4.1.doc

Раздел 4.2.doc

Раздел 4.3.1.doc

Раздел 4.3.2.doc

Раздел 4.3.3.doc

Раздел 5.1.doc

Раздел 5.2.1.doc

Раздел 5.2.2.doc

Раздел 5.3.1.doc

Раздел 5.3.2.doc

Раздел 5.3.3.doc

Раздел 5.3.4.doc

Раздел 5.3.5.doc

Раздел 5.3.6.doc

Раздел 5.3.7.doc

Рекурсия 3.1.doc

Рекурсия 3.2.doc

Розгалуження часткових функц за предикатом.doc

Список обозначений.doc

Структури нерухомих точок индуктивн множин.doc

Частков функц.doc

Схожі дисертації

0421U104038

Петренко Максим Віталійович

Методи інтеграції гетерогенних бібліографічних даних

0421U104040

Артабаєв Юрій Зуберович

Методика підвищення точності комплексованих навігаційних систем на основі прогнозуючих моделей з використанням генетичних алгоритмів.

0421U103593

Зубко Роман Анатолійович

Удосконалення методів підвищення часової ефективності фрактального стиснення зображень

0421U103401

Чистякова Інна Сергіївна

Метод відображення між дескриптивною логікою та реляційною моделлю даних.

0421U103320

Бєлозьорова Яна Андріївна

Метод застосування вейвлет аналізу в задачах ідентифікації мовної інформації