Руководитель:
Морозов Андрей Сергеевич
| Основные направления деятельности: |
| |
| проблемы формальных языков и их семантики; теоретико-модельные и алгоритмические свойства элементарных теорий классических алгебраических систем: колец, полей, групп, булевых алгебр в теории моделей (проблемы классификации типов изоморфизма и элементарных типов и их разрешимость, существование и характеризация специальных теорий); теория неклассических логик (логики с условиями типа Бета, табличности и другими, а также изучение решеток неклассических логик на основе алгебраического подхода); теория алгоритмов (проблемы построения обобщения вычислимости и построение для нее основных свойств универсальности, классификации по сложности и др.). |
| |
Home page
