|
|
| ПЕРСОНАЛИИ |
| Морозов Андрей Сергеевич |
| профессор |
| доктор физико-математических наук |
Вычислимость и ее отношения с определимостью, особенно в рамках теории допустимых множеств и теории моделей; допустимые множества; группы вычислимых (определимых) перестановок; элементарные теории классов групп; теория конструктивных моделей; булевы алгебры; теоретическая информатика; вычислимая топология.