На главную страницу
На главную страницу
На главную страницу
English page
English page
МЦМУ МИАН | Минобрнауки | РАН | ОМН РАН | Math-Net.Ru | ММО | Web of Science | Scopus | MathSciNet | zbMATH | Проверка почты | Справка 

   
 Об институте
 Научная деятельность
 Публикации
 Правила оформления научных работ
 Администрация
 Ученый совет
 Диссертационные советы
 Отделы
Сотрудники 
 Аспирантура
 Научно-образовательный центр
 Базовая кафедра в МФТИ
 Совет молодых ученых
 Семинары
 Конференции
 Мероприятия
 Издания МИАН
 In memoriam
 Фотогалерея МИАН
 Музей МИАН
 Реквизиты МИАН
 Устав МИАН
 Библиотека


    Адрес института
Адрес: Россия, 119991, Москва, ул. Губкина, д. 8
Тел.: +7(495) 984 81 41
Факс: +7(495) 984 81 39
Сайт: www.mi-ras.ru
E-mail: steklov@mi-ras.ru

Посмотреть карту
Схема проезда

   

Отдел математической логики

| Семинары отдела | Поздравления | Публикации сотрудников отдела |
Сотрудники
Беклемишев Лев Дмитриевич

доктор физ.-матем. наук, академик РАН, заведующий отделом, главный научный сотрудник
комн.: 515; тел.: +7 (495) 984 81 41 * 37 44;
e-mail: bekl@mi-ras.ru
Основные направления исследований: Теория доказательств, формальная арифметика.
Беклемишев Лев Дмитриевич
Ван Вэньхао

PhD, научный сотрудник
комн.: 208;
e-mail: wenhaowang@mi-ras.ru
Кузнецов Степан Львович

кандидат физ.-матем. наук, старший научный сотрудник
комн.: 515; тел.: +7 (495) 984 81 41 * 37 44;
e-mail: sk@mi-ras.ru
Персональная страница: https://homepage.mi-ras.ru/~sk/
Основные направления исследований: Теория доказательств, субструктурные логики, звёздочка Клини.
Кузнецов Степан Львович
Лысенок Игорь Геронтьевич

доктор физ.-матем. наук, ведущий научный сотрудник
комн.: 507; тел.: +7 (495) 984 81 41 * 37 52;
e-mail: lysionok@mi-ras.ru
Основные направления исследований: Комбинаторная теория групп, алгоритмические вопросы теории групп.
Пахомов Федор Николаевич

кандидат физ.-матем. наук, старший научный сотрудник

e-mail: pakhfn@gmail.com
Основные направления исследований: Теория доказательств, модальная логика, проблемы разрешимости.
Подольский Владимир Владимирович

доктор физ.-матем. наук, ведущий научный сотрудник
комн.: 506; тел.: +7 (495) 984 81 41 * 37 46;
e-mail: podolskii@mi-ras.ru
Персональная страница: https://homepage.mi-ras.ru/~podolskii/
Основные направления исследований: Теория сложности вычислений.
Подольский  Владимир  Владимирович
Разборов Александр Александрович

доктор физ.-матем. наук, член-корр. РАН, главный научный сотрудник
комн.: 506; тел.: +7 (495) 984 81 41 * 37 46;
e-mail: razborov@mi-ras.ru
Персональная страница: https://homepage.mi-ras.ru/~razborov/
Основные направления исследований: Теория сложности вычислений.
Сперанский Станислав Олегович

кандидат физ.-матем. наук, научный сотрудник
комн.: 508;
e-mail: katze.tail@gmail.com
Персональная страница: https://homepage.mi-ras.ru/~speranski
Основные направления исследований: вероятностная логика, модальная логика, теория вычислимости.
Сперанский Станислав Олегович
Таламбуца Алексей Леонидович

кандидат физ.-матем. наук, научный сотрудник
комн.: 507; тел.: +7 (495) 984 81 41 * 37 52;
e-mail: altal@mi-ras.ru
Основные направления исследований: Комбинаторная теория групп, алгоритмические вопросы теории групп и полугрупп.
Шамканов Данияр Салкарбекович

кандидат физ.-матем. наук, старший научный сотрудник
комн.: 515; тел.: +7 (495) 984 81 43;
e-mail: daniyar.shamkanov@gmail.com
Основные направления исследований: Теория доказательств, комбинаторная логика, неклассические логики.
Адян Сергей Иванович (01.01.1931 – 05.05.2020)

доктор физ.-матем. наук, академик РАН

Основные направления исследований: Алгоритмические вопросы алгебры, теория полугрупп, теория групп.
Маканин Геннадий Семенович (19.05.1938 – 18.05.2017)

доктор физ.-матем. наук, внештатный сотрудник

Основные направления исследований: Комбинаторная теория групп, алгоритмические вопросы теории полугрупп.
Наверх
Семинары отдела
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
Математический институт им.В.А.Стеклова РАН
Геометрическая теория групп
Руководители семинара: И. Г. Лысёнок; А. Л. Таламбуца
МИАН, ул. Губкина, 8, ауд. 530
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
Руководитель семинара: Л. Д. Беклемишев
МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Наверх
Поздравления
На заседании Ученого Совета МИАН 21 января 2016 года директор института академик РАН В. В. Козлов поздравил заведующего отделом математической логики академика РАН С. И. Адяна с 85-летием и от имени сотрудников института вручил приветственный адрес.
Наверх
Публикации сотрудников отдела
На главную страницу

© Математический институт им. В.А. Стеклова Российской академии наук, 2004–2022
Разработка и дизайн: Отдел КС и ИТ