Основные направления исследований: исследование феномена вычислимости, изучение структурных свойств вычислимых моделей и их классов, исследование алгебраических и элементарных свойств полурешеток Роджерса различных типов вычислимых нумераций; приложения результатов математической логики в теоретическом программировании - изучение проблем языков спецификаций построения вычислимости над абстрактными структурами данных, выявлением закономерностей; изучение формальных языков и модальных и суперинтуиционистских логик.

	Наш адрес: 119991 ГСП-1 Москва В-71, Ленинский просп., 14 Телефон: 938-0309 (Справ. бюро) Факс: (495)954-3320 (Лен.пр.,14), (495)938-1844 (Лен.пр.,32а)	Назад