Пошук академічних текстів

Інформація × Реєстраційний номер 0501U000309, Докторська дисертація На здобуття д.ф.-м.н. Дата захисту 04-10-2001 Статус Запланована Назва роботи Теорія інтегрованих композиційно-номінативних моделей програм. Здобувач Нікітченко Микола Степанович, Керівник Редько Володимир Никифорович Опонент Капітонова Юлія Володимирівна Опонент Анісімов Анатолій Васильович Опонент Провотар Олександр Іванович Опис Розроблена загальна теорія моделей програм, яка базується на принципах розвитку, композиційності і номінативності. Запропоновано та досліджено формалізм композиційно-номінативних систем, які задають моделі програм різних рівнів абстракції і загальності та які допускають адекватну специфікацію програм і їх ефективну реалізацію. Досліджені підкласи таких систем, що задають інфінітарні логіки предикатів різних типів. Для таких логік вирішені класичні проблеми коректності і повноти. Визначені і досліджені методи обчислюваності програм, які узагальнюють традиційні підходи до обчислюваності. Описано повні класи обчислюваних функцій і композицій над номінативними даними різних рівнів абстракції і загальності та побудовані алгебраїчні представлення таких класів. Дата реєстрації 2001-10-04 Додано в НРАТ 2020-04-04 Закрити