Search academic texts

Information × Registration Number 0501U000309, Doctoral dissertation Status д.ф.-м.н. Date 04-10-2001 popup.evolution o Title Theory of integrated composition nominative program models. Author Nikitchenko Mykola Stepanovych, popup.head Редько Володимир Никифорович popup.opponent Капітонова Юлія Володимирівна popup.opponent Анісімов Анатолій Васильович popup.opponent Провотар Олександр Іванович Description Розроблена загальна теорія моделей програм, яка базується на принципах розвитку, композиційності і номінативності. Запропоновано та досліджено формалізм композиційно-номінативних систем, які задають моделі програм різних рівнів абстракції і загальності та які допускають адекватну специфікацію програм і їх ефективну реалізацію. Досліджені підкласи таких систем, що задають інфінітарні логіки предикатів різних типів. Для таких логік вирішені класичні проблеми коректності і повноти. Визначені і досліджені методи обчислюваності програм, які узагальнюють традиційні підходи до обчислюваності. Описано повні класи обчислюваних функцій і композицій над номінативними даними різних рівнів абстракції і загальності та побудовані алгебраїчні представлення таких класів. Registration Date 2001-10-04 popup.nrat_date 2020-04-04 Close