Основные направления исследований: изучение аксиоматических классов моделей для классических объектов математики: групп, колец, полей, булевых алгебр, многообразий и квазимногообразий алгебраических систем и теории допустимых множеств для построения аналога обобщенной теории вычислимости над абстрактными моделями; изучение проблем формализации различных объектов на основе философского рассмотрения основных понятий философии математики и науки, а также проблем построения языков спецификации задач в рамках проблемно-ориентированного подхода в математике, проблем построения семантики для паранепротиворечивых логик. |
Наш адрес: 119991 ГСП-1 Москва В-71, Ленинский просп., 14 Телефон: 938-0309 (Справ. бюро) Факс: (495)954-3320 (Лен.пр.,14), (495)938-1844 (Лен.пр.,32а) | Назад |