Search academic texts

Information × Registration Number 0502U000351, Doctoral dissertation Status д.ф.-м.н. Date 26-09-2002 popup.evolution o Title Theory of compositional type program algebras and its applications Author Byi Dmytro, popup.head Red'ko Volodymyr Nykyforovych popup.opponent Кривий Сергій Лук'янович popup.opponent Анісімов Анатолій Васильович popup.opponent Провотар Олександр Іванович Description Мета - побудова формальних моделей програм на основі програмних алгебр композиційного типу. Об'єкт дослідження - загальнозначні дескриптивні та декларативні структури програм, маніпуляційні дії в базах даних, DML-мови. Основні результати: створення загальної теорії розв'язування систем рівнянь, асоційованих з рекурсіями; дослідження монотонності та неперервності суперпозицій і рекурсій, взаємозв'язку між ними; вирішення проблем повноти для функцій, що зберігають денотати; дослідження взаємної похідності табличних операцій; визначення повної семантики операторів DML-мов. Registration Date 2002-09-26 popup.nrat_date 2020-04-04 Close