Знайдено документів: 1
Інформація × Реєстраційний номер 0502U000351, Докторська дисертація На здобуття д.ф.-м.н. Дата захисту 26-09-2002 Статус Запланована Назва роботи Теорія програмних алгебр композиційного типу та її застосування Здобувач Буй Дмитро Борисович, Керівник Редько Володимир Никифорович Опонент Кривий Сергій Лук'янович Опонент Анісімов Анатолій Васильович Опонент Провотар Олександр Іванович Опис Мета - побудова формальних моделей програм на основі програмних алгебр композиційного типу. Об'єкт дослідження - загальнозначні дескриптивні та декларативні структури програм, маніпуляційні дії в базах даних, DML-мови. Основні результати: створення загальної теорії розв'язування систем рівнянь, асоційованих з рекурсіями; дослідження монотонності та неперервності суперпозицій і рекурсій, взаємозв'язку між ними; вирішення проблем повноти для функцій, що зберігають денотати; дослідження взаємної похідності табличних операцій; визначення повної семантики операторів DML-мов. Дата реєстрації 2002-09-26 Додано в НРАТ 2020-04-04 Закрити
Дисертація докторська
Теорія програмних алгебр композиційного типу та її застосування
1
Буй Дмитро Борисович. Теорія програмних алгебр композиційного типу та її застосування : д.ф.-м.н. : спец.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : дата захисту 2002-09-26; Статус: Захищена; Київський національний університет імені Тараса Шевченка. – , 0502U000351.
Знайдено документів: 1

Оновлено: 2026-03-18


Роздрукувати цю сторінку