Новости

Веб-почта

Ссылки

Карта сайта
Подразделения ИМ

Лаборатория логических систем

Основные направления деятельности:
  
проблемы формальных языков и их семантики; теоретико-модельные и алгоритмические свойства элементарных теорий классических алгебраических систем: колец, полей, групп, булевых алгебр в теории моделей (проблемы классификации типов изоморфизма и элементарных типов и их разрешимость, существование и характеризация специальных теорий); теория неклассических логик (логики с условиями типа Бета, табличности и другими, а также изучение решеток неклассических логик на основе алгебраического подхода); теория алгоритмов (проблемы построения обобщения вычислимости и построение для нее основных свойств универсальности, классификации по сложности и др.).
  
Руководитель Морозов Андрей Сергеевич
Рабочие телефоны 3297620 3297633 3297638 3297651 3297679 3297681 3297684 3297689
Внутренние телефоны 342 355 360 412 440 442 445 450
Факс 3332598
Комнаты 342 355 360 412 440 442 445 450
  

  Home page

  Список сотрудников


    © Федеральное государственное бюджетное учреждение науки
      Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук, 2009
 
пр. ак. Коптюга, 4, 630090, г. Новосибирск, Россия
Приемная: (383) 333-28-92; Канцелярия: (383) 333-27-93
Бухгалтерия: (383) 333-09-96; Отдел кадров: (383) 333-25-93
Факс: (383) 333-25-98; e-mail: