Search academic texts

Information × Registration Number 0597U000174, Doctoral dissertation Status д.ф.-м.н. Date 28-03-1997 popup.evolution o Title Author Провотар А.И., popup.head Сергиенко И.В. popup.head Парасюк И.М. popup.opponent Летичевский А.А. popup.opponent Андон П.И. popup.opponent Цейтлин Г.А. Description Объект исследования: Формальные системы и обобщение понятия рекурсии. Цель исследования: Разработка категорных методов в теории математических моделей рекурсии. Методы исследования и аппаратура: Теория категорий, теория элементарных топосов, теория формальных языков и грамматик, теория алгоритмов и математическая логика, теория формальных систем. Теоретические результаты и новизна: Разработан новый теоретико-категорный подход для изучения понятия рекурсии в томосе и получен ряд результатов по чистой теории топосов. Практические результаты и новизна: На базе алгебры морфизмов разработаны методы построения программных систем по КСМ-методологии, создана экспериментальная среда построения программных систем по этой методологии - СА Е АР. Предмет и степень внедрения: Алгоритмы и их программная реализация. Эффективность внедрения: Расчеты показали достаточно высокую эффективность среды КСМ-программирования для построения специализированных программных систем. Сфера (область) использования: Построение ППС со сложными предметными областями. Registration Date 1997-03-28 popup.nrat_date 2020-05-17 Close