Новости

Веб-почта

Ссылки

Карта сайта
Сотрудники

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

Руководитель:     Морозов А.С.

  Home page

Основные направления деятельности:
  
проблемы формальных языков и их семантики; теоретико-модельные и алгоритмические свойства элементарных теорий классических алгебраических систем: колец, полей, групп, булевых алгебр в теории моделей (проблемы классификации типов изоморфизма и элементарных типов и их разрешимость, существование и характеризация специальных теорий); теория неклассических логик (логики с условиями типа Бета, табличности и другими, а также изучение решеток неклассических логик на основе алгебраического подхода); теория алгоритмов (проблемы построения обобщения вычислимости и построение для нее основных свойств универсальности, классификации по сложности и др.).
  
ФИО Должность Телефон Вн. тел. Комната Лаб. E-mail
Ершов Юрий ЛеонидовичГлавный научный сотрудник - советник РАН 3297651 412 412 Л1
Морозов Андрей СергеевичГлавный научный сотрудник 3297679 440 440 Л1
Мальцев Иван АнатольевичВедущий научный сотрудник 3297634 356 356 Л1
Одинцов Сергей ПавловичВедущий научный сотрудник 3297689 450 450 Л1
Палютин Евгений АндреевичВедущий научный сотрудник 3297600 319 319 Л1
Пузаренко Вадим ГригорьевичВедущий научный сотрудник 3297620 342 342 Л1
Судоплатов Сергей ВладимировичВедущий научный сотрудник 3297586 292 292 Л1
Швидефски Марина ВладимировнаВедущий научный сотрудник 3297634 356 356 Л1
Кравченко Александр ВладимировичСтарший научный сотрудник 3297684 445 445 Л1
Стукачев Алексей ИльичСтарший научный сотрудник 3297684 445 445 Л1
Тимофеева Мария КирилловнаСтарший научный сотрудник 3297681 442 442 Л1
Хисамиев Асылхан НазифовичСтарший научный сотрудник 3297633 355 355 Л1
Власов Дмитрий ЮрьевичНаучный сотрудник 3297620 342 342 Л1
Самохвалов Климентий ФедоровичВедущий инженер 3297681 442 442 Л1
Фирсова Светлана ВладимировнаВедущий инженер    Л1 
Черепанов Евгений МихайловичВедущий инженер 3297689 450 450 Л1
Шеремет Михаил СергеевичВедущий инженер 3297684 445 445 Л1

    © Федеральное государственное бюджетное учреждение науки
      Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук, 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: