English
 новости 
 сотрудникам 
 адрес 
 администрация 
 ученый совет 
 лаборатории 
 штат 
 семинары 
 конференции 
 библиотека 
 об институте 
совет Д 002.202.01 
издательский сектор 
НОЦ ПОМИ 
 анонсы 
 ссылки 
 ММИ  им.Эйлера
 конференции  ММИ
 
Федеральное  государственное  бюджетное  учреждение  науки
Санкт-Петербургское  отделение  Математического  института
им. В.А.Стеклова  Российской  академии  наук
  Лаборатории  
мат. анализа мат. логики мат. физики стат. методов
общие сведения алгебры и теории чисел геометрии и топологии мат. проблем физики мат. проблем геофизики теории представлений
и динамических систем
Лаборатория математической логики
Заведующий лабораторией     Ю.В.Матиясевич
страница лаборатории
Городской семинар по математической логике
Сотрудники Тематика исследований
Ю.В.Матиясевич  главный научный сотрудник
М.А.Всемирнов  ученый секретарь ПОМИ
Э.А.Гирш  ведущий научный сотрудник
Д.М.Ицыксон  младший научный сотрудник
Д.В.Карпов  научный сотрудник
А.А.Кожевников  младший научный сотрудник
А.С.Куликов  младший научный сотрудник
С.И.Николенко  младший научный сотрудник
В.П.Оревков  ведущий научный сотрудник
А.В.Пастор  научный сотрудник
Н.А.Шанин  ведущий научный сотрудник
Традиционными темами исследований, проводимых в лаборатории математической логики, являются

основания математики,
теория доказательств,
поиск логического вывода,
алгоритмические вопросы алгебры и теории чисел.

В последние годы появилось новое направление - дискретная математика (в основном теория графов).

  ©  2004 - 2010  Санкт-Петербургское отделение математического института им. В.А.Стеклова РАН