Реєстраційний номер
0597U000174, Докторська дисертація
На здобуття
д.ф.-м.н.
Дата захисту
28-03-1997
Статус
Захищена
Назва роботи
Категорные методы в теории метаматематических моделей рекурсии
Здобувач
Провотар А.И.,
Керівник Сергиенко И.В.
Керівник Парасюк И.М.
Опонент Летичевский А.А.
Опонент Андон П.И.
Опонент Цейтлин Г.А.
Установа, організація, у вченій раді якої відбудеться/відбувся захист
Институт программных систем НАН Украины
Опис
Объект исследования: Формальные системы и обобщение понятия рекурсии. Цель исследования: Разработка категорных методов в теории математических моделей рекурсии. Методы исследования и аппаратура: Теория категорий, теория элементарных топосов, теория формальных языков и грамматик, теория алгоритмов и математическая логика, теория формальных систем. Теоретические результаты и новизна: Разработан новый теоретико-категорный подход для изучения понятия рекурсии в томосе и получен ряд результатов по чистой теории топосов. Практические результаты и новизна: На базе алгебры морфизмов разработаны методы построения программных систем по КСМ-методологии, создана экспериментальная среда построения программных систем по этой методологии - СА Е АР. Предмет и степень внедрения: Алгоритмы и их программная реализация. Эффективность внедрения: Расчеты показали достаточно высокую эффективность среды КСМ-программирования для построения специализированных программных систем. Сфера (область) использования: Построение ППС со сложными предметными областями.
Дата реєстрації
1997-12-26
Додано/оновлено в НРАТ
2020-05-18 / 2026-06-30
